diff options
-rwxr-xr-x | bin/dispatch-conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/dispatch-conf b/bin/dispatch-conf index 5007353fc..c1d8b700b 100755 --- a/bin/dispatch-conf +++ b/bin/dispatch-conf @@ -48,7 +48,7 @@ os.umask(oldmask) # Ensure the scratch dir is deleted def cleanup(mydir=SCRATCH_DIR): - shutil.rmtree(SCRATCH_DIR) + shutil.rmtree(mydir) atexit.register(cleanup) MANDATORY_OPTS = [ 'archive-dir', 'diff', 'replace-cvs', 'replace-wscomments', 'merge' ] |