Edit report at https://bugs.php.net/bug.php?id=77377&edit=1
ID: 77377
Comment by: gadelat at gmail dot com
Reported by: gadelat at gmail dot com
Summary: No way to handle CTRL+C in Windows
Status: Closed
Type: Feature/Change Request
Package: Win32API related
Operating System: Windows 10
PHP Version: 7.2Git-2018-12-30 (Git)
Assigned To: ab
Block user comment: N
Private report: N
New Comment:
@bwoebi Can you create new report please? This one is closed so apparently won't receive any
more feedback. Thanks!
Previous Comments:
------------------------------------------------------------------------
[2019-02-13 07:37:55] bwoebi@php.net
@Anatol: Under linux stream_select is comfortably aborted (signal being received) - is there any way
to abort stream_select() from within Windows in that case?
At least the way it is now is a bit stupid - you don't want to rerun stream_select() too often,
but also not wait x time units after pressing ctrl+c.
I don't mind if stream_select were calling select() repeatedly every 100 ms or such
_internally_ on Windows. But I feel like this is not an userland responsibility.
------------------------------------------------------------------------
[2019-02-13 03:17:24] ab@php.net
Added UPGRADING notes. Closing this one for now. Please open separate tickets for any subsequent
issues or ideas.
Thanks!
------------------------------------------------------------------------
[2019-02-12 20:39:51] ab@php.net
Cool, thanks for the info so far and for filing the issue. I'm still gonna document this and
then close this one. I expect there'll be more reports closer to the 7.4 final, when more
people start using this functionality.
Cheers.
------------------------------------------------------------------------
[2019-02-12 20:20:04] gadelat at gmail dot com
stream_select is not in my expertise as I don't use it myself, just streamlined the hang to
such peace of code in library. I have created issue https://github.com/amphp/amp/issues/262 and
hopefully guys from AMPHP can take over this conversation. Outside of that, this works nicely
------------------------------------------------------------------------
[2019-02-12 18:12:41] ab@php.net
@gadelat at gmail dot com, how is it going? :) Any other feedback?
Thanks.
------------------------------------------------------------------------
The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
https://bugs.php.net/bug.php?id=77377
--
Edit this bug report at https://bugs.php.net/bug.php?id=77377&edit=1