summary refs log tree commit diff
path: root/demo/stop.sh
diff options
context:
space:
mode:
Diffstat (limited to 'demo/stop.sh')
-rwxr-xr-xdemo/stop.sh14
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 +