diff --git a/examples/demo/run-demo.sh b/examples/demo/run-demo.sh index 66d2cf4..8c39c5c 100755 --- a/examples/demo/run-demo.sh +++ b/examples/demo/run-demo.sh @@ -114,6 +114,8 @@ STUB_PID=$! RUST_LOG=info "$ROOT/target/debug/coven-github" serve \ --config "$DEMO_DIR/config.toml" > "$DEMO_DIR/server.log" 2>&1 & SERVER_PID=$! +# Detach both from job control so shutdown doesn't print 'Terminated' noise. +disown "$STUB_PID" "$SERVER_PID" # ── Helpers ──────────────────────────────────────────────────────────────────