[SCM] ci-tooling packaging branch, master, updated. 814fad43b2dbe4b3a420e70ca49545451fc377e7

[Harald Sitter]

Gitweb-URL: http://git.debian.org/?p=pkg-kde/ci-tooling.git;a=commitdiff;h=e7d6ffd

The following commit has been merged in the master branch:
commit e7d6ffd3dfb4bb52dee43a2063beaf96d0406224
Author: Harald Sitter <sitter at kde.org>
Date:   Fri Oct 16 10:53:47 2015 +0200

    kill children to stand a better chance at getting them dead
---
 test/lib/serve.rb | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/test/lib/serve.rb b/test/lib/serve.rb
index d6a140a..b952e38 100644
--- a/test/lib/serve.rb
+++ b/test/lib/serve.rb
@@ -11,11 +11,6 @@ module Test
                                   Port: port,
                                   AccessLog: [],
                                   Logger: log)
-      siglist = %w(HUP INT QUIT TERM)
-      siglist &= Signal.list.keys
-      siglist.each do |sig|
-        Signal.trap(sig, proc { s.shutdown })
-      end
       s.start
     else # parent
       @children << pid
@@ -30,7 +25,7 @@ module Test
   end
 
   def self.kill(pid)
-    Process.kill('TERM', pid)
+    Process.kill('KILL', pid)
     Process.waitpid(pid)
   end
 

-- 
ci-tooling packaging