Файл лежит в каталоге веб-сервера, выставлены права на исполнение.
Скрипт
#!/usr/bin/php <?php ... if(processExists()) { die('Уже запущен'); } ... // скрипт исполняется значительное время
Функция
function processExists($file = false) { if(!$file) $file = basename (__FILE__); exec("ps -C $file -o pid=", $pids); return count($pids) > 1 ? true : false; }
Комментариев нет:
Отправить комментарий