[php-src] Issue #12071: Support PHP_CLI_SERVER_WORKERS on Windows
| From: | madelson | Date: | Tue, 29 Aug 2023 08:39:34 +0000 |
| Subject: | [php-src] Issue #12071: Support PHP_CLI_SERVER_WORKERS on Windows | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-245279@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/12071
Author: madelson
### Description
The docs say that this mechanism doesn’t work on Windows, but this would be just as helpful to
Windows devs.