From: Wolfram Schneider <wosch@indexdata.dk>
Date: Fri, 31 Oct 2014 08:46:07 +0000 (+0000)
Subject: configure signal handlers to kill process group at timeout
X-Git-Tag: 1.0.0~99
X-Git-Url: http://sru.miketaylor.org.uk/?a=commitdiff_plain;h=238734efd7a190c653631ac2db4624c6761df8ec;hp=238734efd7a190c653631ac2db4624c6761df8ec;p=mkws-moved-to-github.git

configure signal handlers to kill process group at timeout
---