diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-04 20:51:09 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-04 20:54:19 +0200 |
| commit | 432e93affce4d5ddcc816f826268bc68d5789756 (patch) | |
| tree | e911e77bb63015bbaee6e81dd12da6a6377d4157 /doc/workflow.txt | |
| parent | 502d7b1585edb0ee89cac178f20af8bfdbf5cc64 (diff) | |
| download | ouroboros-432e93affce4d5ddcc816f826268bc68d5789756.tar.gz ouroboros-432e93affce4d5ddcc816f826268bc68d5789756.zip | |
tools: cbr: Fix server cleanup
The server should cleanup whenever the listen thread exits.
Diffstat (limited to 'doc/workflow.txt')
0 files changed, 0 insertions, 0 deletions