Skip to content

Commit c076626

Browse files
committed
Add graceful shutdown note
1 parent d7b50c6 commit c076626

1 file changed

Lines changed: 6 additions & 0 deletions

File tree

tools/html-api-fuzz/README.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -53,6 +53,12 @@ php tools/html-api-fuzz/launcher.php --lanes 4 --max-seeds 1000 --watcher
5353

5454
For continuous fuzzing, run the launcher with `--duration-seconds 0 --max-seeds 0`
5555
and run `watcher.php` in a second shell against the same output directory.
56+
The tmux helper, `tools/html-api-fuzz/start-continuous-run-tmux.sh`, starts this
57+
indefinite launcher/watcher/orchestrator setup. It does not currently support a
58+
graceful shutdown signal. A good follow-up feature would be a stop signal that
59+
lets each process finish its current unit of work (seed, watcher scan/minimize,
60+
or Codex turn) and then exit cleanly. For now, stop it by attaching to the tmux
61+
session and interrupting the panes, or by killing the tmux session.
5662

5763
Replay a failure:
5864

0 commit comments

Comments
 (0)