#!/usr/bin/env bash
set -euo pipefail

cd "$(dirname "$0")"

PID_FILE="run/control-server.pid"

if [[ ! -f "$PID_FILE" ]]; then
  echo "Control server is not running"
  exit 0
fi

PID="$(cat "$PID_FILE")"
if kill -0 "$PID" 2>/dev/null; then
  kill "$PID"
  echo "Stopped control server PID $PID"
else
  echo "Control server PID $PID is not running"
fi

rm -f "$PID_FILE"