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

Наконец я решил это!

Я использовал функцию 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);
}

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

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

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

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

shell_exec('kill -KILL ProcessID');