From 278ea9cc01e901069dfa228393e464e06592bf1a Mon Sep 17 00:00:00 2001 From: Joel Schaerer dedibox Date: Wed, 13 May 2009 13:28:18 +0200 Subject: [PATCH] ok this time it should really work :-/ --- autojump | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/autojump b/autojump index f63549c..1361356 100755 --- a/autojump +++ b/autojump @@ -22,8 +22,7 @@ from sys import argv,exit import os import signal max_keyweight=1000 -global dead_dirs #global variable (evil ;-) to know if we should save the dict at the end -dead_dirs=False +dead_dirs=False #global variable (evil ;-) to know if we should save the dict at the end def signal_handler(arg1,arg2): 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 else: #clean up dead directories del path_dict[path] + global dead_dirs dead_dirs=True return False