summary refs log blame commit diff
path: root/demo/stop.sh
blob: 85a1d2c161286f70a1d97659c41bc5419e59a454 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
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