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