diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-30 12:56:58 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:17 -0300 |
| commit | ebcb870ac8ea962fd705068c7aaff935c5a5c15b (patch) | |
| tree | 35a78a124cebb4c4800a74e9831f7e125f40fb4c /src/linux/v9fs.zig | |
| parent | 4020d55aca63f2ba0b3d9bf580f36b0f4ee66f43 (diff) | |
| download | pardes-ebcb870ac8ea962fd705068c7aaff935c5a5c15b.tar.gz pardes-ebcb870ac8ea962fd705068c7aaff935c5a5c15b.zip | |
The 9P monkey does not count a file watch's notice as a failed write's msg
Seed 121 flagged a refused write to pane 2's dirty file because a
`msg 3 <file> deleted on disk (Save writes it again)` arrived in the same
window. That notice was from an earlier host rm of pane 3's file, said
whenever the watch noticed it. It did not reproduce on replay, since it
depends on when the watch fires. The one-failure rule now leaves out the
watch's deleted-on-disk and changed-on-disk notices. Any other msg with a
failed write still fails the rule.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/linux/v9fs.zig')
0 files changed, 0 insertions, 0 deletions