diff options
| author | tv <tv@krebsco.de> | 2026-11-04 06:51:21 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-11-04 06:51:21 +0100 |
| commit | 6430e7540ff5e83e777bf3c80bf609f3f85bcfe8 (patch) | |
| tree | 6eeed53073d288e029e684a603a6a1656376d72d /src/document/file.rs | |
| parent | 9bda1116b34c7bc3dcf38c570ce21b21670f16e8 (diff) | |
unanswered pull frees the slot
When the answer to a pull is overdue (the sync reply timeout: 1 s in the
simtests, 10 s in production), the pull gives up the slot, and the next
waiting neighbour is pulled at once.
Diffstat (limited to 'src/document/file.rs')
0 files changed, 0 insertions, 0 deletions