### Description The following code: ```shell php.exe -S 127.0.0.1:8080 -t . ``` Resulted in this output: ``` [Mon Dec 25 16:36:46 2023] PHP 8.3.0 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 on any OS. ### PHP Version any (tested 7.4 and 8.3) ### Operating System Windows