blob: 7f1e1920215ae7fec1e1c9f97d411818d6b144ee (
plain) (
tree)
|
|
#!/usr/bin/env bash
set -e
DIR="$( cd "$( dirname "$0" )" && pwd )"
# Ensure that the servers are stopped.
$DIR/stop.sh
PID_FILE="$DIR/servers.pid"
if [ -f "$PID_FILE" ]; then
echo "servers.pid exists!"
exit 1
fi
for port in 8080 8081 8082; do
rm -rf "${DIR:?}/$port"
rm -rf "$DIR/media_store.$port"
done
rm -rf "${DIR:?}/etc"
|