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
|
|
|
|
2019-10-09 17:37:41 +02:00
|
|
|
BASE_DIR=$(cd $(dirname $0) && pwd)
|
|
|
|
|
pushd $BASE_DIR
|
2019-10-09 16:59:00 +02:00
|
|
|
has_custom_riot=$(node has_custom_riot.js $@)
|
|
|
|
|
|
2018-07-27 18:44:01 +02:00
|
|
|
stop_servers() {
|
2019-10-09 16:59:00 +02:00
|
|
|
if [ $has_custom_riot -ne "1" ]; then
|
|
|
|
|
./riot/stop.sh
|
|
|
|
|
fi
|
|
|
|
|
./synapse/stop.sh
|
2018-07-27 18:44:01 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
handle_error() {
|
|
|
|
|
EXIT_CODE=$?
|
|
|
|
|
stop_servers
|
|
|
|
|
exit $EXIT_CODE
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
trap 'handle_error' ERR
|
|
|
|
|
|
2018-07-27 16:01:54 +02:00
|
|
|
./synapse/start.sh
|
2019-10-09 16:59:00 +02:00
|
|
|
if [ $has_custom_riot -ne "1" ]; then
|
|
|
|
|
./riot/start.sh
|
|
|
|
|
fi
|
2018-09-19 10:56:39 +02:00
|
|
|
node start.js $@
|
2018-07-27 18:44:01 +02:00
|
|
|
stop_servers
|
