in src/watchdog.cc [42:49]
void w_sleep(int seconds) { #if defined(WIN32) Sleep(seconds * 1000); #else sleep(seconds); #endif }