configure signal handlers to kill process group at timeout
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 31 Oct 2014 08:46:07 +0000 (08:46 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 31 Oct 2014 08:46:07 +0000 (08:46 +0000)
commit238734efd7a190c653631ac2db4624c6761df8ec
treef60ea2858664b1dc1e89a8429ecffb40b4f7e841
parent3362261316c5e8c672d2f720cc7a4306856e511f
configure signal handlers to kill process group at timeout
test/bin/bomb.pl