really remove dead directories

15 years ago · 6b6bbd4c8b
parent 2963f1fcea
commit 6b6bbd4c8b
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -22,7 +22,8 @@ from sys import argv,exit
 import os
 import signal
 max_keyweight=1000
-dead_dirs=False #global variable (evil ;-) to know if we should save the dict at the end
+global dead_dirs #global variable (evil ;-) to know if we should save the dict at the end
+dead_dirs=False

 def signal_handler(arg1,arg2):
    print "Received SIGINT, trying to continue"