summary refs log blame commit diff
path: root/demo/clean.sh
blob: e9b440d90dfd949682e51397821ebac4d2b04211 (plain) (tree)
1
2
3
4
5
6
7
8
9
                   





                                        
                           


                              
                              
                                   
    
 
                     
#!/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"