diff options
author | 2016-11-03 14:50:57 -0700 | |
---|---|---|
committer | 2016-11-03 15:29:27 -0700 | |
commit | d6ddb0e37c2a1e8324725a98eac720efa97c63e9 (patch) | |
tree | 42cb79822666fe2e5174829185b30f59048bfffa /include | |
parent | 11948f74414e6c95b81fbcc2f0d06afa0b1cbce5 (diff) |
Explicitly stop the server on tear-down
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions