Bug #64210 [Fbk->NoF]: php -l & not killed ky SIGTERM

From: Date: Sun, 05 Sep 2021 04:22:13 +0000
Subject: Bug #64210 [Fbk->NoF]: php -l & not killed ky SIGTERM
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-236411@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 Updated by: php-bugs@lists.php.net Reported by: ep at numlog dot fr Summary: php -l & not killed ky SIGTERM -Status: Feedback +Status: No Feedback Type: Bug Package: *General Issues Operating System: linux mint PHP Version: 5.3.21 Assigned To: cmb Private report: N New Comment: 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. Previous Comments: ------------------------------------------------------------------------ [2021-08-23 17:46:25] 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> ------------------------------------------------------------------------ [2013-02-14 14:17:15] 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 ------------------------------------------------------------------------ [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

« previous php.bugs (#236411) next »