1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

--- rbclient.pl  2009-06-25 22:02:26.000000000 +0200
+++ rbclient.pl.new  2009-06-25 23:30:14.000000000 +0200
@@ -229,6 +229,7 @@
         $busy += $builds{$id}{cores};
     }
     else {
+        setpgrp;
         $pipe->writer();
         $pipe->autoflush();
         my $starttime = time();
@@ -515,7 +516,7 @@
 {
     my ($id) = @_;
     my $pid = $builds{$id}{pid};
-    kill 9, $pid;
+    kill 9, -$pid;
     print "Killed build $id\n";
     waitpid $pid, 0;