Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
On C-c, only cancel base CESK if it is currently running (#2008)
Fixes #2007. After #1928, we handle exceptions a little differently, so it no longer works to simply set the base's CESK machine to an `Up` (exception) state no matter what. Instead we have to first check if the base is running, and if so set it to `Up` as before; if not, do nothing (except clear the REPL prompt).
- Loading branch information