1
0
mirror of https://github.com/Rikj000/MoniGoMani.git synced 2022-03-06 00:08:05 +03:00

Catch CTRL-C to exit the program gracefully. Closes #109

This commit is contained in:
topscoder
2021-08-23 20:13:10 +02:00
parent 31452d98b2
commit 0e6a382e99

View File

@@ -144,6 +144,8 @@ do_exit() {
exit 1
}
trap do_exit SIGINT
echo ""
echo -e "${WHITE}~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~${CLOSE}"
echo ""