diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-13 03:52:52 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-13 03:52:52 +0200 |
commit | e0253448a1ad70bd7530e64e88b81fa4ed627af4 (patch) | |
tree | 6886fc576fef157625c96224a8dec0d5bb36c9dc /src/git.h | |
parent | event_loop: support more event types (diff) | |
download | cimple-e0253448a1ad70bd7530e64e88b81fa4ed627af4.tar.gz cimple-e0253448a1ad70bd7530e64e88b81fa4ed627af4.zip |
server: handle disconnected workers gracefully
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions