1 files changed, 16 insertions, 0 deletions
diff --git a/demo/clean.sh b/demo/clean.sh
new file mode 100755
index 0000000000..d5649fee83
--- /dev/null
+++ b/demo/clean.sh
@@ -0,0 +1,16 @@
+#!/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
+