diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-04 21:01:28 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-04 21:01:28 +0200 |
| commit | 7e78d3f2fb1d3203aff64e72589cf98649e4fada (patch) | |
| tree | 85e93cd35498887e2c3214c7a52c99de70b584de /doc/.gitignore | |
| parent | 432e93affce4d5ddcc816f826268bc68d5789756 (diff) | |
| download | ouroboros-7e78d3f2fb1d3203aff64e72589cf98649e4fada.tar.gz ouroboros-7e78d3f2fb1d3203aff64e72589cf98649e4fada.zip | |
tools: oping: Fix cleanup on exit
The server should cleanup whenever the listen thread exits.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions