Closed shareefj closed 1 year ago
What's the correct way to cancel a running command? I'm trying to use large FST files and as I develop interactively, I want to be able to kill a long running process without exiting and having to wait to reload the FST file.
This is now implemented in the REPL.
What's the correct way to cancel a running command? I'm trying to use large FST files and as I develop interactively, I want to be able to kill a long running process without exiting and having to wait to reload the FST file.