From 9cd05bef4a26a2d2865cf2a0a9bcaa46ad564002 Mon Sep 17 00:00:00 2001
From: igneum-josh <337424239+igneum-josh@users.noreply.github.com>
Date: Tue, 6 Oct 2026 23:01:29 +0100
Subject: [PATCH] Devnet 2 prover restart as a file (one instance; an inline
 pkill with the host's name killed its own ssh shell)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 tools/fleet/dn2-prover-restart.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 tools/fleet/dn2-prover-restart.sh

diff --git a/tools/fleet/dn2-prover-restart.sh b/tools/fleet/dn2-prover-restart.sh
new file mode 100755
index 000000000..f4bee0b6b
--- /dev/null
+++ b/tools/fleet/dn2-prover-restart.sh
@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+# Restarts the Devnet 2 prover on a box as ONE instance: run as a FILE (an inline pkill carrying these words kills the ssh shell
+# that carries them). Env: LABEL WALLET THRESHOLD (optional).
+F=/root/fleet; cd $F || exit 2
+pkill -9 -f '^python3 -u (/root/fleet/)?in/box-prover.py'; pkill -9 -x sp1-gpu-server; pkill -9 -f '^/opt/igneum-floor/bin/igneum-prove-host'; pkill -9 -f '^/opt/igneum-segal/proving/igneum-prove/target/release/igneum-prove-host'
+sleep 3; rm -f /tmp/sp1-cuda-*.sock $F/out/prover.pid $F/out/prover-state.json.*.tmp
+LABEL="${LABEL:?}" WALLET="${WALLET:?}" THRESHOLD="${THRESHOLD:-}" EXPORT_FROM=0 CHAIN_NAME=igneum-devnet-2 MINER=none RUN_HOURS=240 setsid nohup python3 -u /root/fleet/in/box-prover.py </dev/null >> $F/out/dn2-prover-launch.log 2>&1 &
+sleep 25
+echo "RESULT dn2_prover_restart $(date -u +%FT%TZ) instances=$(pgrep -f '^python3 -u (/root/fleet/)?in/box-prover.py' | wc -l) pid=$(cat $F/out/prover.pid 2>/dev/null) server=$(pgrep -c -x sp1-gpu-server) last=\"$(tail -1 $F/out/prover.log | cut -c1-140)\""