Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
tesh kill timeouted processes with KILL also
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 25 Aug 2019 19:41:40 +0000 (21:41 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 25 Aug 2019 19:47:01 +0000 (21:47 +0200)
commitb18431ee82f850d5f58e684b4aa97f30e37a6552
treede74b26851b1f6516559579ac45e25855cce2b7f
parente961a2a772f19953c619907397f0fc78dfdb8d77
tesh kill timeouted processes with KILL also

It seems that the sanitizers processes are surviving their timeouts on
the server, so this may help fixing the build robots.

On the way, I switched to save the PID of the forked process instead
of its PGID. This helps when I try to see if the process is still
alive, later on: I can always do PID->PGID later (as I do now) while
it seems impossible to do PGID->PID to see whether the process is
still alive.

Fun fact: I think that PID=PGID on POSIX systems, but let's play safe :)
tools/tesh/tesh.py