You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am not sure if there is alway an issue for this one. Now the loop in the API, rstan cannot check if there is an interruption from the user (such as a Ctrl+C).
The text was updated successfully, but these errors were encountered:
Glad you're keeping an eye on this, as it's
an important point.
The only solution I see if the interrupts are
interface or platform specific is to provide callbacks
inside our algorithms for interrupters. I'm not
exactly sure how that would work. But I'd like to make
it a reasonably high priority because it's incredibly
frustrating to have to hard kill a process because it's
running something uninterruptible.
I am not sure if there is alway an issue for this one. Now the loop in the API, rstan cannot check if there is an interruption from the user (such as a Ctrl+C).
—
Reply to this email directly or view it on GitHub.
Glad you're keeping an eye on this, as it's
an important point.
The only solution I see if the interrupts are
interface or platform specific is to provide callbacks
inside our algorithms for interrupters. I'm not
exactly sure how that would work. But I'd like to make
it a reasonably high priority because it's incredibly
frustrating to have to hard kill a process because it's
running something uninterruptible.
I am not sure if there is alway an issue for this one. Now the loop in
the API, rstan cannot check if there is an interruption from the user (such
as a Ctrl+C).
—
Reply to this email directly or view it on GitHub.
—
Reply to this email directly or view it on GitHub #768 (comment).
I am not sure if there is alway an issue for this one. Now the loop in the API, rstan cannot check if there is an interruption from the user (such as a Ctrl+C).
The text was updated successfully, but these errors were encountered: