#!/usr/bin/env bash
WORKDIR="$(cd "$(dirname "$0")" && pwd)"
cd "$WORKDIR"

if [ -f pipeline.pid ]; then
    pid=$(cat pipeline.pid)
    if kill -0 "$pid" 2>/dev/null; then
        kill "$pid"
        echo "Stopped PID $pid"
    else
        echo "Process $pid not running"
    fi
    rm -f pipeline.pid
else
    echo "No pid file found"
fi