[php-src] Issue #13025: Internal webserver can be started multiple times on the same port
| From: | mvorisek | Date: | Mon, 25 Dec 2023 16:07:38 +0000 |
| Subject: | [php-src] Issue #13025: Internal webserver can be started multiple times on the same port | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-246126@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/13025
Author: mvorisek
### Description
The following code:
```shell
php.exe -S 127.0.0.1:8080 -t .
```
Resulted in this output:
```
... Development Server (http://127.0.0.1:8080) started
```
But I expected this output instead:
error if another server is already started on the same port
IDK if this is only a Windows issue, but I would expect php webserver to require listening port
exclusively.
### PHP Version
any (tested 7.4 and 8.3)
### Operating System
Windows