1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
|
set_time_limit(0);
ignore_user_abort(1);
register_shutdown_function(fini());
while(1)
{
if file_exists('STOP') { die("script arrêté. Effacez le fichier STOP avant de reprendre") }
$next = getNextExecutionTime(); /* on récupère l'heure (timestamp) de la prochaine éxécution */
$indexScript = getNextExecutionScript(); /* on récupère le numéro du prochain script à éxécuter */
$dodo = $next - time(); /* le temps en seconde qu'il faut pour arriver à $next */
sleep($dodo); /* on dort jusqu'à ce qu'il soit temps d'éxécuter le script */
fopen($scripts[$indexScript]['URLScript'], 'r') /* on lance le script. */
/* fopen peut être remplacé par une autre méthode, (shell_exec...) */
$scripts[$indexScript]['prochain'] = setNextExecutionTimeForScript($indexScript); /* prochaine éxécution */
} |
Partager