diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2021-08-19 22:39:14 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-08-19 22:39:14 +0200 |
| commit | 293d96b86d84928ae2106d11c0e004a01cc6f5dc (patch) | |
| tree | 27bfaa8552b82ecb513791c87c022eedb26b80b3 /.gitignore | |
| parent | 52323b89126bef9264801bce37e85fee3a41a0b6 (diff) | |
Test tool: stop server before exiting main
Makes sure all related data and threads are properly cleared before all
the other static stuff starts to be destroyed.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions