PHP shell_exec - как завершить процесс, если соединение закрыто?

Question

У меня есть рабочий php-скрипт, использующий shell_exec для выполнения внешней программы, для завершения которой требуется около 30 секунд. Проблема заключается в том, что если пользователь закрывает браузер или соединение закрывается по какой-либо причине, программа, запущенная с shell_exec, продолжает работать впустую, так как ее вывод больше не может быть отправлен пользователю.

Есть ли способ убить этот процесс, как только соединение будет закрыто?

Благодарим за помощь.

Answer 1

Наконец Я решил!

Я использовал функцию PHP connection_aborted(), чтобы проверить, отключен ли клиент. http://us2.php.net/manual/en/function.connection-aborted.php

Алгоритм следующий (псевдокод)

shell_exec("script");//script is a shell script that launch the program in another thread thus this return immediately 
$task_completed=false; 
while(!$task_completed){ 
    if(connection_aborted()==1){ 
     kill_the_process();//this will kill the running process launched by script 
     die(); 
    } 
    $task_completed=...;//true if the task completed 
    sleep(1); 
} 

Answer 2

Вы можете создать менеджер, который запускает/выполняет/останавливает запущенные скрипты php. Этот скрипт будет работать постоянно - может быть как демон - и проверить статус скрипта/процесса, статус пользователя и закрыть скрипт, если пользователь ушел. Я думаю, вы могли бы сделать это хорошо с Sockets.
How to Use Sockets in JavaScript\HTML?
http://php.net/manual/en/book.sockets.php

Answer 3

вы можете использовать, чтобы получить список всех запущенных процессов

$res = shell_exec('ps -x'); 
$res = explode("\n",$res); 
print_r($res); 

и использовать это, чтобы убить процесс с заданным ProcessId

shell_exec('kill -KILL ProcessID');