diff options
author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-03-21 16:14:18 +0100 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-03-21 16:14:18 +0100 |
commit | 19a3277dbff7fc79c12be8a200ab6c8dfe6b50b9 (patch) | |
tree | 835d86fa8c9695e95ef213dc5644d1a7f1fdc395 /src/tools/cbr/cbr.c | |
parent | 15b492ffb0de010b94bfb4e80c721e04ef6f63c2 (diff) | |
download | ouroboros-19a3277dbff7fc79c12be8a200ab6c8dfe6b50b9.tar.gz ouroboros-19a3277dbff7fc79c12be8a200ab6c8dfe6b50b9.zip |
irmd: Fix timeouts in reg_entry
This fixes bad timedwaits for the state of the reg_entry. Also
slightly revised timedwaits throughout the prototype.
Diffstat (limited to 'src/tools/cbr/cbr.c')
0 files changed, 0 insertions, 0 deletions