mirror of
https://github.com/zhengkai/orca.git
synced 2026-02-04 16:42:26 +08:00
23 lines
345 B
Bash
Executable File
23 lines
345 B
Bash
Executable File
#!/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'
|