diff options
author | Alex <alex@adnab.me> | 2024-08-25 18:34:55 +0000 |
---|---|---|
committer | Alex <alex@adnab.me> | 2024-08-25 18:34:55 +0000 |
commit | 182b2af7e5188e84543cf80d60d667cb0d87fe88 (patch) | |
tree | cb98fd446980292933945dab54ada881ff8971c5 /script/jepsen.garage/nodes.vagrant | |
parent | 3dda1ee4f6ab85d668aaf810667e611832fccc0c (diff) | |
parent | baf32c95759dac1873eaf30bbfa018150f56003a (diff) | |
download | garage-182b2af7e5188e84543cf80d60d667cb0d87fe88.tar.gz garage-182b2af7e5188e84543cf80d60d667cb0d87fe88.zip |
Merge pull request 'api servers: kill opened connections after SIGINT after 10s deadline (fix #806)' (#864) from exit-deadline into main
Reviewed-on: https://git.deuxfleurs.fr/Deuxfleurs/garage/pulls/864
Diffstat (limited to 'script/jepsen.garage/nodes.vagrant')
0 files changed, 0 insertions, 0 deletions