util/misc.py
changeset 1732 94ffe74e6895
parent 1719 704c7036db85
child 1735 c02818d7e29f
equal deleted inserted replaced
1731:6ebd9c40b2be 1732:94ffe74e6895
    24 
    24 
    25 """
    25 """
    26 Misc definitions
    26 Misc definitions
    27 """
    27 """
    28 
    28 
    29 import os,sys
    29 import os
       
    30 import sys
    30 
    31 
    31 # helper func to check path write permission
    32 # helper func to check path write permission
    32 def CheckPathPerm(path):
    33 def CheckPathPerm(path):
    33     if path is None or not os.path.isdir(path):
    34     if path is None or not os.path.isdir(path):
    34         return False
    35         return False