2021-03-25 19:53:54 +03:00
|
|
|
#!/usr/bin/env bash
|
2014-08-12 18:10:52 +04:00
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
DIR="$( cd "$( dirname "$0" )" && pwd )"
|
|
|
|
|
2022-03-08 23:02:59 +03:00
|
|
|
# Ensure that the servers are stopped.
|
|
|
|
$DIR/stop.sh
|
|
|
|
|
2014-08-12 18:10:52 +04:00
|
|
|
PID_FILE="$DIR/servers.pid"
|
|
|
|
|
2021-10-23 00:46:06 +03:00
|
|
|
if [ -f "$PID_FILE" ]; then
|
2014-08-12 18:10:52 +04:00
|
|
|
echo "servers.pid exists!"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2015-06-04 18:58:17 +03:00
|
|
|
for port in 8080 8081 8082; do
|
2021-10-23 00:46:06 +03:00
|
|
|
rm -rf "${DIR:?}/$port"
|
|
|
|
rm -rf "$DIR/media_store.$port"
|
2015-06-04 18:58:17 +03:00
|
|
|
done
|
2014-08-12 18:10:52 +04:00
|
|
|
|
2021-10-23 00:46:06 +03:00
|
|
|
rm -rf "${DIR:?}/etc"
|