4f475c7697
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