From: ep at numlog dot fr Operating system: linux mint PHP version: 5.3.21 Package: *General Issues Bug Type: Bug Bug description:php -l & not killed ky SIGTERM
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 bug report at https://bugs.php.net/bug.php?id=64210&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=64210&r=trysnapshot54 Try a snapshot (PHP 5.3): https://bugs.php.net/fix.php?id=64210&r=trysnapshot53 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=64210&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=64210&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=64210&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=64210&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=64210&r=needscript Try newer version: https://bugs.php.net/fix.php?id=64210&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=64210&r=support Expected behavior: https://bugs.php.net/fix.php?id=64210&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=64210&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=64210&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=64210&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=64210&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=64210&r=dst IIS Stability: https://bugs.php.net/fix.php?id=64210&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=64210&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=64210&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=64210&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=64210&r=mysqlcfg
