В общем есть библиотека websocketd, в документации есть пример с использованием pcntl.
Кусок из кода:
pcntl_signal(SIGTERM, 'signalHandler'); // Termination ('kill' was called')
pcntl_signal(SIGHUP, 'signalHandler'); // Terminal log-out
pcntl_signal(SIGINT, 'signalHandler'); // Interrupted ( Ctrl-C is pressed)
Но данный код вызывает ошибку:
PHP Fatal error: Call to undefined function pcntl_signal()
в php -m присутствует модуль pcntl, т.е. я так понимаю php скомпелирован с нужным мне модулем.
Что мне делать, как заставить pcntl модуль заработать?