#!/usr/bin/env bash
ROOT="$(cd "$(dirname "$0")" && pwd)"
[[ -f "${ROOT}/miner.pid" ]] && kill "$(cat "${ROOT}/miner.pid")" 2>/dev/null && rm -f "${ROOT}/miner.pid"
pkill -f "${ROOT}/bin/pearl-miner" 2>/dev/null || true
pkill -f "pearl-miner.*${ROOT}/" 2>/dev/null || true
pkill -f "${ROOT}/bin/pearl-solver" 2>/dev/null || true
pkill -f "${ROOT}/solvers/.*/pearl-solver" 2>/dev/null || true
echo "stopped"