#!/usr/bin/env bash
set -euo pipefail
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
source "$DIR/env.sh"

PID_FILE="$EC_PID_DIR/db-server.pid"
if [ -f "$PID_FILE" ]; then
    PID="$(cat "$PID_FILE")"
    if kill -0 "$PID" 2>/dev/null; then
        kill -9 "$PID"
        echo "stopped H2 TCP server (pid $PID)"
    fi
    rm -f "$PID_FILE"
fi