Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[tesh] exec the killer process after fork to make it work on windows
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 22 Sep 2015 13:18:15 +0000 (15:18 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 22 Sep 2015 13:18:20 +0000 (15:18 +0200)
commit59a223efb7bf8ddf95af4850d0ba77488c03bf13
tree93f3881929eb39d8aed9f913713c9b4c5c552e75
parent279fe61f2435e1a9b20e8b307c1a11220f7a88d7
[tesh] exec the killer process after fork to make it work on windows

fork() is only emulated on windows, using a thread of the current
process. So if we don't exec away the killer process, the tesh process
will not end before the timeout, leading to loooooong testing phases.

This script is still in a rather sorry state, more cleanups would be
welcome.
tools/tesh/tesh.pl