#!/usr/bin/env bash
# Stops whatever scripts/start.sh started, using the PID files (never pkill -f).
cd "$(dirname "$0")/.."
for f in run/*.pid; do
  [ -e "$f" ] || continue
  kill "$(cat "$f")" 2>/dev/null || true
  rm -f "$f"
done
echo stopped