util/misc.py
changeset 1850 614396cbffbf
parent 1847 6198190bc121
child 1853 47a3f39bead0
equal deleted inserted replaced
1849:6811021e3d94 1850:614396cbffbf
    25 """
    25 """
    26 Misc definitions
    26 Misc definitions
    27 """
    27 """
    28 
    28 
    29 import os
    29 import os
    30 import sys
       
    31 import gettext
       
    32 
    30 
    33 
    31 
    34 def CheckPathPerm(path):
    32 def CheckPathPerm(path):
    35     """ Helper func to check path write permission """
    33     """ Helper func to check path write permission """
    36     if path is None or not os.path.isdir(path):
    34     if path is None or not os.path.isdir(path):