julia
f0ba4ae2
- Improve REPL SIGINT user experience.
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
9 years ago
Improve REPL SIGINT user experience. * Add a SIGINT dead time after a force throw Fixes Jeff's issue in #17706 * Make the eval and print loop sigatomic to avoid sigint being delivered outside `try`-`catch` blocks.
References
#17710 - Improve REPL SIGINT user experience.
Author
yuyichao
Committer
yuyichao
Parents
fba1f0a5
Loading