# HG changeset patch
# User wenzelm
# Date 1336144482 -7200
# Node ID 32c03d45fffe4c6a3577bcc8adfddb4c9397f7a7
# Parent  dd9cbe708e6b306c05c8ce8dd9b19b11eedb4264
refrain from SIGHUP handling (cf. 5f629ee2502b), which does not work on Cygwin and appears to be redundant anyway (no extra output produced within pipe);

diff -r dd9cbe708e6b -r 32c03d45fffe lib/scripts/feeder.pl
--- 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";