Fork me on GitHub
#cursive
<
2018-05-21
>
bj17:05:33

@tap are you clicking Stop REPL or the "Interrupt Current Execution" button next to the play button in the repl? If you click the latter, it should stop running the last command, then you should be able to stop the repl.

tap23:05:15

@bj That works! I didn't realize there's this "Interrupt Current Execution" before. Thanks!