Edit report at https://bugs.php.net/bug.php?id=64210&edit=1
ID: 64210 User updated by: ep at numlog dot fr Reported by: ep at numlog dot fr Summary: php -l & not killed ky SIGTERM Status: Open Type: Bug Package: *General Issues Operating System: linux mint PHP Version: 5.3.21 Block user comment: N Private report: N New Comment: $> php -l & [3] 17456 $> kill % <-- works ! And $> php -l & [4] 14304 $> fg php -l Complété <- Works when 14304 killed from another shell Previous Comments: ------------------------------------------------------------------------ [2013-02-14 10:51:28] ep at numlog dot fr Description: ------------ $> php -l & $> ps -edf | grep php eric 13374 8672 0 11:38 pts/1 00:00:00 php -l $> kill 13374 $> ps -edf | grep php eric 13374 8672 0 11:38 pts/1 00:00:00 php -l $> kill -9 13374 $> ps -edf | grep php Test script: --------------- When php -l is put as background process without any file to lint, php does not catch SIGTERM and must be kill rougly with kill -9 . ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=64210&edit=1
