PHP exec () - установить ограничение по времени выполнения? - PullRequest
2 голосов
/ 26 февраля 2012

Я использую функцию PHP exec() для системных вызовов Windows env.

Теперь я хочу убедиться, что если я позвоню, он не будет длиться вечно. Я хочу убить процесс через $x секунды. Например:

exec('2.exe');

Если 2.exe работает дольше 15 секунд, убить 2.exe.

Как я могу сделать это с помощью PHP?

...