2014-08-12 16:10:52 +02:00
|
|
|
#!/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
|
|
|
|
|
|
|
|
|
|
find "$DIR" -name "*.log" -delete
|
|
|
|
|
find "$DIR" -name "*.db" -delete
|
|
|
|
|
|
2014-10-20 19:35:39 +02:00
|
|
|
rm -rf $DIR/etc
|
