|  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
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
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If this is not your bug, you can add a comment by following this link.
If this is your bug, but you forgot your password, you can retrieve your password here.
Bug Type:
From: ep at numlog dot fr
New email:
PHP Version: OS:


 [2013-02-14 10:51 UTC] ep at numlog dot fr
$> 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 .


Add a Patch

Pull Requests

Add a Pull Request


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


$> php -l &
[4] 14304
$> fg
php -l
Complété    <- Works when 14304 killed from another shell
 [2021-08-23 17:46 UTC]
-Status: Open +Status: Feedback -Assigned To: +Assigned To: cmb
 [2021-08-23 17:46 UTC]
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] <>
 [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-2022 The PHP Group
All rights reserved.
Last updated: Thu Oct 06 11:03:41 2022 UTC