-
Eric Cano authored
Bumped up the time waited before cheking that the killed child process is gone from 10ms to 100ms as 10ms was too small in some cases (helgrind + slow virtual machine).
139b8a19
Short service update today 2 p.m. CET
Bumped up the time waited before cheking that the killed child process is gone from 10ms to 100ms as 10ms was too small in some cases (helgrind + slow virtual machine).