-
Notifications
You must be signed in to change notification settings - Fork 72
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
Interrupt shouldn't kill Juliaif nothing is running #105
Comments
Windows backtrace, for completeness' sake:
|
At the moment the issue is that the |
Have you tried making interrupting julia a no-op when no user side code is running? Not sure if this would be a robust solution, though, but probably better than the current behaviour anyways... |
Yeah, just disabling it depending on the working status seems like a reasonable bandaid. |
Just pushed a patch for this. It actually seems to be reasonably robust, but let me know if it causes any issues. |
Seems to be working for me, thanks! |
Right now if you do
cmd+j cmd+i
when julia is inactive, it will kill the active julia process. I believe this should be as simple as catchingInterruptException()
instead of doing whatever is printed here (nice that we can copy console output to show you this now :) ):The text was updated successfully, but these errors were encountered: