diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-05-06 15:54:55 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-05-06 15:55:06 +0200 |
commit | 156edd022ef315eb68e0f7002994dfeb172a25c1 (patch) | |
tree | 596268f59b72cc1ccf1e2aad7e64297a3ff8b2de /src/git.c | |
parent | get rid of __attribute__((constructor)) (diff) | |
download | cimple-156edd022ef315eb68e0f7002994dfeb172a25c1.tar.gz cimple-156edd022ef315eb68e0f7002994dfeb172a25c1.zip |
shut down server/workers gracefully on SIGTERM
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions