lib/scripts/feeder.pl
changeset 47868 32c03d45fffe
parent 41616 aa002926cbf1
child 61187 ff00ad5dc03a
equal deleted inserted replaced
47867:dd9cbe708e6b 47868:32c03d45fffe
     9 ($head, $emitpid, $quit, $tail) = @ARGV;
     9 ($head, $emitpid, $quit, $tail) = @ARGV;
    10 
    10 
    11 
    11 
    12 # setup signal handlers
    12 # setup signal handlers
    13 
    13 
    14 sub hangup { exit(0); }
       
    15 $SIG{'HUP'} = "hangup";
       
    16 $SIG{'INT'} = "IGNORE";
    14 $SIG{'INT'} = "IGNORE";
    17 
    15 
    18 
    16 
    19 # main
    17 # main
    20 
    18