2018-07-27 15:08:14 +02:00
|
|
|
#!/bin/bash
|
2018-09-25 19:45:08 +02:00
|
|
|
set -e
|
2018-07-27 18:44:01 +02:00
|
|
|
|
|
|
|
stop_servers() {
|
|
|
|
./riot/stop.sh
|
|
|
|
./synapse/stop.sh
|
|
|
|
}
|
|
|
|
|
|
|
|
handle_error() {
|
|
|
|
EXIT_CODE=$?
|
|
|
|
stop_servers
|
|
|
|
exit $EXIT_CODE
|
|
|
|
}
|
|
|
|
|
|
|
|
trap 'handle_error' ERR
|
|
|
|
|
2018-07-27 16:01:54 +02:00
|
|
|
./synapse/start.sh
|
|
|
|
./riot/start.sh
|
2018-09-19 10:56:39 +02:00
|
|
|
node start.js $@
|
2018-07-27 18:44:01 +02:00
|
|
|
stop_servers
|