ok this time it should really work :-/

pull/18/head release-v3
Joel Schaerer dedibox 15 years ago
parent 621ee1fc7f
commit 278ea9cc01

@ -22,8 +22,7 @@ from sys import argv,exit
import os import os
import signal import signal
max_keyweight=1000 max_keyweight=1000
global dead_dirs #global variable (evil ;-) to know if we should save the dict at the end dead_dirs=False #global variable (evil ;-) to know if we should save the dict at the end
dead_dirs=False
def signal_handler(arg1,arg2): def signal_handler(arg1,arg2):
print "Received SIGINT, trying to continue" print "Received SIGINT, trying to continue"
@ -45,6 +44,7 @@ def match(path,pattern,path_dict,re_flags=0):
if os.path.exists(path) : return True if os.path.exists(path) : return True
else: #clean up dead directories else: #clean up dead directories
del path_dict[path] del path_dict[path]
global dead_dirs
dead_dirs=True dead_dirs=True
return False return False

Loading…
Cancel
Save