Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
refrain from SIGHUP handling (cf. 5f629ee2502b), which does not work on Cygwin and appears to be redundant anyway (no extra output produced within pipe);
authorwenzelm
Fri, 04 May 2012 17:14:42 +0200
changeset 47868 32c03d45fffe
parent 47867 dd9cbe708e6b
child 47869 fa59eb662e6c
refrain from SIGHUP handling (cf. 5f629ee2502b), which does not work on Cygwin and appears to be redundant anyway (no extra output produced within pipe);
lib/scripts/feeder.pl file | annotate | diff | comparison | revisions 
--- a/lib/scripts/feeder.pl	Fri May 04 15:58:27 2012 +0200
+++ b/lib/scripts/feeder.pl	Fri May 04 17:14:42 2012 +0200
@@ -11,8 +11,6 @@
 
 # setup signal handlers
 
-sub hangup { exit(0); }
-$SIG{'HUP'} = "hangup";
 $SIG{'INT'} = "IGNORE";
isabelle