lib/scripts/feeder.pl

 # feeder.pl - feed isabelle session
 #
 
 # args
 
-($head, $noint, $emitpid, $quit, $symbols, $tail) = @ARGV;
+($head, $emitpid, $quit, $symbols, $tail) = @ARGV;
 
 
 # symbols translation table
 
 %tab = (

   "\xff", "\\<copyright>"
 #END OF GENERATED TEXT
 );
 
 
-# setup hangup handler
+# setup signal handlers
 
-sub hangup {
-    exit(0);
-}
-
+sub hangup { exit(0); }
 $SIG{'HUP'} = "hangup";
+$SIG{'INT'} = "IGNORE";
 
 
 # main
-
-#bulletproof session
-$noint && ($SIG{INT} = "IGNORE");
 
 #buffer lines
 $| = 1;
 
 

 }
 
 $tail && (print "$tail", "\n");
 
 
-# wait forever, expecting to be terminated by HUP
+# wait forever
 
 close STDOUT;
 sleep;