2021-03-25 17:53:54 +01:00
|
|
|
#!/usr/bin/env bash
|
2014-08-12 16:10:52 +02:00
|
|
|
|
|
|
|
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"
|
2021-10-22 23:46:06 +02:00
|
|
|
kill "$pid"
|
2014-08-12 16:10:52 +02:00
|
|
|
fi
|
|
|
|
done
|
|
|
|
|