-
Notifications
You must be signed in to change notification settings - Fork 94
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Windows: Ctrl + C
is unreliable to interrupt a readline()
#5710
Comments
The most obvious thing to note is that we dont see Here is a guess. Here is our event loop in Note that we check for interrupts at the top of the loop each time. Note this comment
So if Imagine we are sitting in the
After this we'd circle back around to the top of the loop and look at I think all this would kind of explain why sometimes it works. If we can confirm this, a fix may be:
|
I think |
@lionel- the windows defn of interrupts-pending is different
|
oh then that would certainly explain it! |
If it's more appropriate to move this to the ark repo, please feel free! |
Ctrl + C
works sometimes to get you out of readline, but not reliablyctrlc.mov
When it works
When it doesnt
The text was updated successfully, but these errors were encountered: