diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-08-28 21:24:44 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-08-28 21:24:44 +0200 |
| commit | ee2f763bfbe6263bdfc6516887393e0327fa0f85 (patch) | |
| tree | 1eaba51d91c3b29427d58d1309f486450ddb12a0 /src/ci.h | |
| parent | worker: fix a crash (diff) | |
| download | cimple-ee2f763bfbe6263bdfc6516887393e0327fa0f85.tar.gz cimple-ee2f763bfbe6263bdfc6516887393e0327fa0f85.zip | |
server: notify workers about requeued jobs
This allows free workers to pick up jobs after dead workers.
Diffstat (limited to 'src/ci.h')
0 files changed, 0 insertions, 0 deletions