Zion Boggan
repos/jwt-differential-fuzzer/scripts/down_native.sh
zionboggan.com ↗
10 lines · bash
History for this file →
1
cd "$(dirname "$0")/.."
2
for f in .native/pids/*.pid; do
3
  [[ -f $f ]] || continue
4
  pid=$(cat "$f")
5
  name=$(basename "$f" .pid)
6
  if kill -0 "$pid" 2>/dev/null; then
7
    kill "$pid" && echo "[down] $name (pid $pid)"
8
  fi
9
  rm -f "$f"
10
done