function timed_execution() { global $global_dontlogshell; $global_dontlogshell = true; timed_exec(2, "checkRestart"); timed_exec(2 * 5, "execSisinfoc"); $global_dontlogshell = false; }
function timed_execution() { global $global_dontlogshell; $global_dontlogshell = true; // execute every minute timed_exec(2, "checkRestart"); // execute every 10 minutes timed_exec(2 * 5, "execSisinfoc"); $global_dontlogshell = false; }
function timed_execution() { global $global_dontlogshell; $global_dontlogshell = true; if (windowsOS()) { return; } timed_exec(2, "checkRestart"); timed_exec(2 * 5, "execSisinfoc"); $global_dontlogshell = false; }