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 /.gitattributes | |
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 '')
0 files changed, 0 insertions, 0 deletions