From 6b6bbd4c8bf73939ac9cf0fe5873f698310cc7bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=ABl=20Schaerer?= Date: Wed, 13 May 2009 11:49:47 +0200 Subject: [PATCH] really remove dead directories --- autojump | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/autojump b/autojump index 5d918dd..47e0cde 100755 --- a/autojump +++ b/autojump @@ -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"