void w_sleep()

in src/watchdog.cc [42:49]


void w_sleep(int seconds)
{
#if defined(WIN32)
    Sleep(seconds * 1000);
#else
    sleep(seconds);
#endif
}