Trap on interrupt as well as exit so ctrl+c and nonstandard terminates kill the servers

9a099711 · Rick Carback · b47835d2 · 9a099711
Commit 9a099711 authored 7 years ago by Rick Carback
--- a/basice2e/run.sh
+++ b/basice2e/run.sh
@@ -30,6 +30,7 @@ finish() {
 }

 trap finish EXIT
+trap finish INT

 sleep 10 # FIXME: We should not need this, but the servers don't respond quickly
         #        enough on boot right now.