hgeditor
changeset 11190 43337076ba92
parent 4687 b5bbfa18daf7
child 11266 2b440bb8a66b
--- a/hgeditor	Mon May 17 21:30:00 2010 +0200
+++ b/hgeditor	Tue May 11 12:06:30 2010 +0200
@@ -25,7 +25,7 @@
 
 # Remove temporary files even if we get interrupted
 trap "cleanup_exit" 0 # normal exit
-trap "exit 255" 1 2 3 6 15 # HUP INT QUIT ABRT TERM
+trap "exit 255" HUP INT QUIT ABRT TERM
 
 HGTMP="${TMPDIR-/tmp}/hgeditor.$RANDOM.$RANDOM.$RANDOM.$$"
 (umask 077 && mkdir "$HGTMP") || {