void w_monitor()

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);
    }
}