2006-10-25 02:41:56 +00:00
< ?
2010-12-02 17:25:23 +00:00
require_once ( '../common.inc.functions.php' );
$logPath = get_logpath ();
2009-03-24 16:58:02 +00:00
2010-03-25 20:52:40 +00:00
//add PHP_SELF just so when we do a process listing on the server we know which fair its running for
//the argument does not get used by the script at all
2010-12-02 17:25:23 +00:00
exec ( " nice php judges_sa.php { $_SERVER [ 'PHP_SELF' ] } > $logPath /judge_scheduler_ " . date ( " YmdHis " ) . " .log 2>&1 & " );
2009-03-24 16:58:02 +00:00
usleep ( 1500000 ); // 1.5 second to allow the judges_sa to update the % status to 0% otherwise the status page will think its not running if it gets there too soon
2006-10-25 02:41:56 +00:00
header ( " Location: judges_scheduler_status.php " );
2007-05-10 19:18:01 +00:00
exit ;
2006-10-25 02:41:56 +00:00
?>