diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-30 16:22:34 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:17 -0300 |
| commit | 79fb1b77b8c9993fb36c250daf36970807f767c9 (patch) | |
| tree | 9aff4d349768f5930e446a6b46d1f0eb914f8bde /src/vaxis_input.zig | |
| parent | 9c7e540dfc3d750514e0ae3450d99ec21886c9c1 (diff) | |
| download | pardes-79fb1b77b8c9993fb36c250daf36970807f767c9.tar.gz pardes-79fb1b77b8c9993fb36c250daf36970807f767c9.zip | |
The 9P monkey does not count a file watch's reload notice as a failed write's msg
Seed 144 flagged a refused addr write because a stamped
`reloaded <file>` from the file watch arrived in the same window. The
watch said the host had written a clean pane's file, which is the host's
news, not the write's. The one-failure rule already left out the watch's
deleted-on-disk and changed-on-disk notices; it now leaves out the
`reloaded` ones too, for files and themes. Seed 144 reruns clean at 4000
steps.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/vaxis_input.zig')
0 files changed, 0 insertions, 0 deletions