12 lines
597 B
Bash
12 lines
597 B
Bash
#!/usr/bin/env bash
|
|
# Stop ONLY this workspace's processes. We scope every match to $WS so we never
|
|
# touch any co-located workspace sharing this machine.
|
|
source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/env.sh"
|
|
# master is bound to our unique port; safe to match on that.
|
|
pkill -f "mooncake_master -port $OMB_MASTER_PORT" 2>/dev/null || true
|
|
# everything else: match only command lines that mention our source path.
|
|
pkill -f "$WS/benchmarks/microbench" 2>/dev/null || true
|
|
pkill -f "$WS/store-proxy" 2>/dev/null || true
|
|
rm -f "$OMB_RUN/master.pid"
|
|
echo "[master] stopped (workspace-scoped)"
|