文件内容
resources/latex_convert_project/scripts/stop_web.sh
#!/usr/bin/env bash
set -euo pipefail
ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
LOG_DIR="$ROOT/storage/logs"
for name in web api; do
pid_file="$LOG_DIR/$name.pid"
if [ -f "$pid_file" ]; then
pid="$(cat "$pid_file")"
if kill -0 "$pid" 2>/dev/null; then
kill "$pid"
echo "Stopped $name ($pid)"
fi
rm -f "$pid_file"
else
echo "$name is not running"
fi
done