php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

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 Developer Edit
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
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

Pull Requests

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-2024 The PHP Group
All rights reserved. 		Last updated: Sat Dec 21 17:01:58 2024 UTC