anonymousland-synapse/demo/clean.sh

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