[dw-free] worker-manager tries to kill workers with SIGHUP instead of SIGTERM

[fu]

[commit: http://hg.dwscoalition.org/dw-free/rev/bfaa6254fd33]

http://bugs.dwscoalition.org/show_bug.cgi?id=4049

Use SIGTERM instead of SIGHUP.

Patch by sophie.

Files modified:

• bin/worker-manager

--------------------------------------------------------------------------------
diff -r 17fc89d53380 -r bfaa6254fd33 bin/worker-manager
--- a/bin/worker-manager	Fri Nov 11 19:33:21 2011 +0800
+++ b/bin/worker-manager	Fri Nov 11 19:36:51 2011 +0800
@@ -141,7 +141,7 @@
 sub terminate {
     print "terminate()\n" if $debug;
 
-    kill 1, $_ foreach keys %kids;
+    kill 15, $_ foreach keys %kids;
 
     my $stop = time + 10;
     while ( time < $stop && scalar(keys %kids) > 0 ) {
--------------------------------------------------------------------------------