1
0

clean.sh 273 B

12345678910111213141516171819
  1. #!/bin/bash
  2. set -e
  3. DIR="$( cd "$( dirname "$0" )" && pwd )"
  4. PID_FILE="$DIR/servers.pid"
  5. if [ -f $PID_FILE ]; then
  6. echo "servers.pid exists!"
  7. exit 1
  8. fi
  9. for port in 8080 8081 8082; do
  10. rm -rf $DIR/$port
  11. rm -rf $DIR/media_store.$port
  12. done
  13. rm -rf $DIR/etc