Bug #79564 [NEW]: poll() cannot be interrupted
| From: | nikic@php.net | Date: | Mon, 04 May 2020 07:58:28 +0000 |
| Subject: | Bug #79564 [NEW]: poll() cannot be interrupted | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-226896@lists.php.net to get a copy of this message | ||
From: nikic
Operating system:
PHP version: master-Git-2020-05-04 (Git)
Package: Streams related
Bug Type: Bug
Bug description:poll() cannot be interrupted
Description:
------------
https://github.com/php/php-src/blob/342754575237da912874f781a24eefe76434ce5a/main/streams/xp_socket.c#L144
performs an unlimited loop on EINTR during polling. This means that it's
not possible to interrupt the process using Ctrl+C.
To reproduce, run php -S localhost:8000 on
if (!empty($_GET['self'])) {
echo 'content';
} else {
echo file_get_contents('http://localhost:8000?self=1');
}
try to access http://localhost:8000/ and then try to exit the
built-in
server.
--
Edit bug report at https://bugs.php.net/bug.php?id=79564&edit=1
--
Fix committed: https://bugs.php.net/fix.php?id=79564&r=fixed
Fixed in release: https://bugs.php.net/fix.php?id=79564&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=79564&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=79564&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=79564&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=79564&r=support
Expected behavior: https://bugs.php.net/fix.php?id=79564&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=79564&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=79564&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=79564&r=globals
PHP version support discontinued: https://bugs.php.net/fix.php?id=79564&r=phptooold
Daylight Savings: https://bugs.php.net/fix.php?id=79564&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=79564&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=79564&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=79564&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=79564&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=79564&r=mysqlcfg