Beispiel #1
0
function timed_execution()
{
    global $global_dontlogshell;
    $global_dontlogshell = true;
    timed_exec(2, "checkRestart");
    timed_exec(2 * 5, "execSisinfoc");
    $global_dontlogshell = false;
}
Beispiel #2
0
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;
}
Beispiel #3
0
function timed_execution()
{
    global $global_dontlogshell;
    $global_dontlogshell = true;
    if (windowsOS()) {
        return;
    }
    timed_exec(2, "checkRestart");
    timed_exec(2 * 5, "execSisinfoc");
    $global_dontlogshell = false;
}