diff options
author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-12-10 11:48:29 +0100 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-12-10 12:01:49 +0100 |
commit | 7a8f55bdb4498c927b6f192b83868138b32cce72 (patch) | |
tree | f19864ccc41cece2bdc191e49735e9f3dc1bdd72 /compile_debug.sh | |
parent | 7c2191370c1c4b891df4d1016baeb220ce1d8dca (diff) | |
download | ouroboros-7a8f55bdb4498c927b6f192b83868138b32cce72.tar.gz ouroboros-7a8f55bdb4498c927b6f192b83868138b32cce72.zip |
tools: Shut down cbr gracefully
Adds a simple cleanup handler that avoids abrupt termination during an
sdu_write call, which potentially locks up the entire system due to
the writes in the rdrbuff and rbuff not being handled as a single
transaction.
Diffstat (limited to 'compile_debug.sh')
0 files changed, 0 insertions, 0 deletions