Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
1234567891011121314151617181920212223242526#!/usr/bin/env bash# Stop a run started by launch_run.sh, by PID file — never by pattern match.# scripts/stop_run.sh <run_name>set -euo pipefail
cd "$(dirname "$0")/.."
RUN_NAME="${1:?usage: stop_run.sh <run_name>}"PIDFILE="runs/${RUN_NAME}.pid"
[ -f "$PIDFILE" ] || { echo "no pidfile ${PIDFILE}" >&2; exit 1; }PID="$(cat "$PIDFILE")"
if kill -0 "$PID" 2>/dev/null; then kill "$PID" for _ in $(seq 20); do kill -0 "$PID" 2>/dev/null || break sleep 1 done kill -0 "$PID" 2>/dev/null && kill -9 "$PID" || true echo "stopped ${RUN_NAME} (pid ${PID})"else echo "${RUN_NAME} (pid ${PID}) not running"firm -f "$PIDFILE"