Мы хотели бы проверить, запущен ли указанный процесс через PHP.
Мы хотели бы просто предоставить PID и посмотреть, выполняется ли он в настоящее время или нет.
Есть ли у PHP внутренняя функция, которая даст нам эту информацию, или нам нужно ее разобрать из вывода "ps"?