#!/bin/bash set -e ROOT="$(cd "$(dirname "$0")/.." && pwd)" for f in "$ROOT/.dev-api.pid" "$ROOT/.dev-web.pid"; do name="$(basename $f .pid)" if [ -f "$f" ]; then pid=$(cat "$f") kill $pid 2>/dev/null && echo "已停止 $name (PID $pid)" || echo "$name (PID $pid) 已不存在" rm "$f" else echo "$name 未在运行" fi done