Behavior of RumbleDB shell when users press Ctrl+C
wzrain opened this issue · 0 comments
wzrain commented
On the latest master branch, when I try to exit the shell by pressing Ctrl+C, this message pops up:
We are very embarrassed, because an error has occured that we did not anticipate 🙈: null
We would like to investigate this and make sure to fix it. We would be very grateful if you could contact us or file an issue on GitHub with your query.
Link: https://github.com/RumbleDB/rumble/issues
For more debug info (e.g., so you can communicate it to us), please try again using --show-error-info yes in your command line.
It probably would be better if a user could use Ctrl+C to exit a shell since it's an intuitive way. Actually in the previous 1.16.0 version Ctrl+C does nothing on a shell, so probably at least we can remove the error message above.
Also it would be great if an explicit message telling users to type exit for exiting the shell can be added when we enter the shell.