diff options
| author | Christian Pointner <equinox@spreadspace.org> | 2017-11-16 22:18:29 +0100 |
|---|---|---|
| committer | Christian Pointner <equinox@spreadspace.org> | 2017-11-16 22:18:29 +0100 |
| commit | e095541652336559edb76854950f474f8aa86999 (patch) | |
| tree | c5ec2c0c832ff5b28f6a4a340c65ec9945f05358 /contrib/docker | |
| parent | server shutdown is a little better now (still needs some thoughts though) (diff) | |
| parent | pipe client connections can now be killed on shutdown (diff) | |
Merge branch 'clean-shutdown'
Diffstat (limited to 'contrib/docker')
0 files changed, 0 insertions, 0 deletions