stop servers on error in run script

2018-07-27 18:44:01 +02:00 · 2018-07-27 18:44:01 +02:00 · 29d688543d
parent 758da78659
commit 29d688543d
2 changed files with 16 additions and 4 deletions
--- a/run.sh
+++ b/run.sh
@ -1,7 +1,19 @@
 #!/bin/bash
-set -e
+
+stop_servers() {
+	./riot/stop.sh
+	./synapse/stop.sh
+}
+
+handle_error() {
+	EXIT_CODE=$?
+	stop_servers
+	exit $EXIT_CODE
+}
+
+trap 'handle_error' ERR
+
 ./synapse/start.sh
 ./riot/start.sh
 node start.js
-./riot/stop.sh
-./synapse/stop.sh
+stop_servers