#!/bin/bash -e

DIR=$(readlink -f "$0") && DIR=$(dirname "$DIR") && cd "$DIR" || exit 1

. ./common.sh

if [ ! -f config.ini ]; then
	echo "type = $TYPE" > config.ini
fi

"${DIR}/build-server.sh" "$TYPE"
echo 'done'

echo
"${DIR}/stop-server.sh" "$TYPE" || :
echo 'done'

mv "$EXE_NEXT" "$EXE"

echo
"${DIR}/start-server.sh" "$TYPE"
echo 'done'