php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #64210 php -l & not killed ky SIGTERM
Submitted: 2013-02-14 10:51 UTC Modified: 2021-09-05 04:22 UTC
Votes:1
Avg. Score:3.0 ± 0.0
Reproduced:1 of 1 (100.0%)
Same Version:1 (100.0%)
Same OS:1 (100.0%)
From: ep at numlog dot fr Assigned: cmb (profile)
Status: No Feedback Package: *General Issues
PHP Version: 5.3.21 OS: linux mint
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: ep at numlog dot fr
New email:
PHP Version: OS:

 

 [2013-02-14 10:51 UTC] 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 .


Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2013-02-14 14:17 UTC] ep at numlog dot fr
$> php -l &
[3] 17456
$> kill %              <-- works !

And 

$> php -l &
[4] 14304
$> fg
php -l
Complété    <- Works when 14304 killed from another shell
 [2021-08-23 17:46 UTC] cmb@php.net
-Status: Open +Status: Feedback -Assigned To: +Assigned To: cmb
 [2021-08-23 17:46 UTC] cmb@php.net
I cannot reproduce this with PHP-7.4.  Is this still an issue for
you with any of the actively supported PHP versions[1]?

[1] <https://www.php.net/supported-versions.php>
 [2021-09-05 04:22 UTC] php-bugs at lists dot php dot net
No feedback was provided. The bug is being suspended because
we assume that you are no longer experiencing the problem.
If this is not the case and you are able to provide the
information that was requested earlier, please do so and
change the status of the bug back to "Re-Opened". Thank you.
 
PHP Copyright © 2001-2021 The PHP Group
All rights reserved.
Last updated: Sun Sep 26 06:03:37 2021 UTC