static void dopost(const char *s) { if (sys_printhook) (*sys_printhook)(s); else if (sys_printtostderr || !sys_havegui()) #ifdef _WIN32 fwprintf(stderr, L"%S", s); #else fprintf(stderr, "%s", s); #endif else {
static void pollwatchdog( void) { static int sched_diddsp, sched_nextpingtime; sched_diddsp++; if (!sys_havegui() && sys_hipriority && (sched_diddsp - sched_nextpingtime > 0)) { glob_watchdog(0); /* ping every 2 seconds */ sched_nextpingtime = sched_diddsp + 2 * (int)(STUFF->st_dacsr /(double)STUFF->st_schedblocksize); } }