1 files changed, 14 insertions, 0 deletions
diff --git a/demo/stop.sh b/demo/stop.sh
new file mode 100755
index 0000000000..85a1d2c161
--- /dev/null
+++ b/demo/stop.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+DIR="$( cd "$( dirname "$0" )" && pwd )"
+
+FILES=$(find "$DIR" -name "*.pid" -type f);
+
+for pid_file in $FILES; do
+    pid=$(cat "$pid_file")
+    if [[ $pid ]]; then
+        echo "Killing $pid_file with $pid"
+        kill $pid
+    fi
+done
+