only cancel current search on Ctrl-C

This is not yet perfect, as it seems to still execute all queued threads
just to immediately exit them, so maybe we should try and see if we can
"clear" the rayon queue. But it's a good start, and the ctrlc crate
seems to work well for this job.

1 files changed, 1 insertions, 0 deletions

diff --git a/Cargo.toml b/Cargo.toml
index d761af5..a612ac5 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -34,6 +34,7 @@ log = { version = "0.4", features = ["std"] }
 thiserror = "1.0"
 lalrpop-util = "0.18"
 rustyline = "6.1"
+ctrlc = "3.1"
 
 [build-dependencies]
 lalrpop = { version = "0.18", features = ["lexer"] }