mirror of
https://github.com/fabro-sh/fabro.git
synced 2026-10-05 02:41:45 +00:00
57cc38894b
Completed runs can briefly retain a stale worker PID after their terminal state is visible. Using the full 5s worker cancellation grace in that window made rm and prune pay an avoidable delay. Keep the existing grace for active runs, but use a short delete grace for already-terminal runs so completed-run cleanup stays fast. |
||
|---|---|---|
| .. | ||
| src | ||
| tests | ||
| build.rs | ||
| Cargo.toml | ||