1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
#!/usr/bin/env bash set -e DIR="$( cd "$( dirname "$0" )" && pwd )" 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