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/ipcpd/normal/pol | |
| 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/ipcpd/normal/pol')
0 files changed, 0 insertions, 0 deletions