<?

$runningScript = $_SERVER['SCRIPT_NAME'];
if( !empty($runningScript) ) {

    // Pruefe wie oft das Hauptscript schon laeuft
    // Alle weiteren Ausgaben werden dabei ignoriert
    $output = shell_exec("ps ax | grep {$runningScript} | grep -v grep | grep -v bash | grep -v bin/sh| wc -l");

    // Ergebnis groesser 1: Script laeuft bereits
    // 1 wird immer geliefert, da das Script sich selbst auch sieht
    if( (int)$output > 1 ) {
        echo date("Y-m-d H:i:s") . " ERROR: '$runningScript' already running.\n";
        exit;
    }

}

?>