knowsys / rulewerk

Java library based on the VLog rule engine
Apache License 2.0
32 stars 13 forks source link

[client] CTRL+C should stop current operation rather than kill the client #188

Open mkroetzsch opened 3 years ago

mkroetzsch commented 3 years ago

Long-running operations can block the client unintentionally (e.g., a query where millions of results are returned and LIMIT was forgotten). CTRL+C in this case would be the natural way of aborting this. Right now, CTRL+C kills the client, without a warning or a clean exit. If no command is running, CTRL+C already behaves well (exist on empty prompt, clearing prompt if non-empty); this should be kept.