Bug #64210 [NEW]: php -l & not killed ky SIGTERM
| From: | ep at numlog dot fr | Date: | Thu, 14 Feb 2013 10:51:28 +0000 |
| Subject: | Bug #64210 [NEW]: php -l & not killed ky SIGTERM | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-176620@lists.php.net to get a copy of this message | ||
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