just modified the tools.py
[nodemanager.git] / debian / compat
1 8