author | kleing |
Sun, 18 May 2003 15:28:41 +0200 | |
changeset 14035 | c46ce87960fb |
parent 12111 | d942348d8faf |
child 14981 | e73f8140af78 |
permissions | -rw-r--r-- |
# # $Id$ # Author: Markus Wenzel, TU Muenchen # License: GPL (GNU GENERAL PUBLIC LICENSE) # # feeder.pl - feed isabelle session # # args ($head, $emitpid, $quit, $tail) = @ARGV; # setup signal handlers sub hangup { exit(0); } $SIG{'HUP'} = "hangup"; $SIG{'INT'} = "IGNORE"; # main #buffer lines $| = 1; $emitpid && (print $$, "\n"); $head && (print "$head", "\n"); if (!$quit) { while (<STDIN>) { print; } } $tail && (print "$tail", "\n"); # wait forever close STDOUT; sleep;