# HG changeset patch
# User wenzelm
# Date 883577869 -3600
# Node ID 2f39aa4bebf3e4e9182b03104e3c6509508b3ad2
# Parent  5ed72705c201cc9cd88116b51126eb78e52545a6
removed -i option;

diff -r 5ed72705c201 -r 2f39aa4bebf3 lib/scripts/feeder
--- a/lib/scripts/feeder	Tue Dec 30 13:43:39 1997 +0100
+++ b/lib/scripts/feeder	Wed Dec 31 15:17:49 1997 +0100
@@ -17,7 +17,6 @@
   echo
   echo "  Options are:"
   echo "    -h TEXT      head text"
-  echo "    -i           ignore INT signal"
   echo "    -p           emit my pid"
   echo "    -q           do not pipe stdin"
   echo "    -s           filter symbols"
@@ -40,21 +39,17 @@
 # options
 
 HEAD=""
-NOINT=""
 EMITPID=""
 QUIT=""
 SYMBOLS=""
 TAIL=""
 
-while getopts "h:ipqst:" OPT
+while getopts "h:pqst:" OPT
 do
   case "$OPT" in
     h)
       HEAD="$OPTARG"
       ;;
-    i)
-      NOINT=true
-      ;;
     p)
       EMITPID=true
       ;;
@@ -84,4 +79,4 @@
 
 ## main
 
-exec perl -w $DIR/feeder.pl "$HEAD" "$NOINT" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL"
+exec perl -w $DIR/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL"
diff -r 5ed72705c201 -r 2f39aa4bebf3 lib/scripts/feeder.pl
--- a/lib/scripts/feeder.pl	Tue Dec 30 13:43:39 1997 +0100
+++ b/lib/scripts/feeder.pl	Wed Dec 31 15:17:49 1997 +0100
@@ -6,7 +6,7 @@
 
 # args
 
-($head, $noint, $emitpid, $quit, $symbols, $tail) = @ARGV;
+($head, $emitpid, $quit, $symbols, $tail) = @ARGV;
 
 
 # symbols translation table
@@ -113,20 +113,15 @@
 );
 
 
-# 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;
 
@@ -145,7 +140,7 @@
 $tail && (print "$tail", "\n");
 
 
-# wait forever, expecting to be terminated by HUP
+# wait forever
 
 close STDOUT;
 sleep;