Вопрос, который вы разместили, не только похож на то, что вы хотите, но и почти такой же. Я полагаю, вы спрашиваете, как выполнить задачу очистки, которая состоит из убийства ajaxterm.
Там, как я здесь описываю, работает для Linux, но переносимо с небольшими усилиями. Чтобы идентифицировать и убить процесс, вам нужно знать идентификатор процесса. Вы можете получить его, запустив ajaxterm в bash-скрипте, повторить pid и прочитать его с помощью php. Или еще проще использовать параметр командной строки ajaxterm -PPIDFILE, --pidfile=PIDFILE
, чтобы установить для каждого пользователя экземпляр ajaxterm в другой файл pid. Затем вам просто нужно прочитать этот файл на выбранном вами языке и выполнить команду kill.