in src/watchdog.cc [51:62]
void w_monitor(void *arg) { while (true) { if (!w_processIsRunning(w_parentpid)) { w_sleep(5); exit(87); } w_sleep(1); } }