|
@ -37,7 +37,10 @@ def dicadd(dic,key,increment=1): |
|
|
|
|
|
|
|
|
def match(path,pattern,path_dict,re_flags=0): |
|
|
def match(path,pattern,path_dict,re_flags=0): |
|
|
import re |
|
|
import re |
|
|
if os.path.realpath(os.curdir)==path : return False |
|
|
|
|
|
|
|
|
try: |
|
|
|
|
|
if os.path.realpath(os.curdir)==path : return False |
|
|
|
|
|
except OSError: #sometimes the current path doesn't exist anymore. In that case, jump if possible. |
|
|
|
|
|
pass |
|
|
if re.search(pattern,"/".join(path.split('/')[-1-pattern.count('/'):]),re_flags) is None: |
|
|
if re.search(pattern,"/".join(path.split('/')[-1-pattern.count('/'):]),re_flags) is None: |
|
|
return False |
|
|
return False |
|
|
else: |
|
|
else: |
|
|