diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-06-06 15:50:03 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-06-06 16:18:23 +0200 |
commit | 88f77ed5ef8d354664bac6d3c8af3d96cae640a4 (patch) | |
tree | 8c54c7a99485585e25510b3d5a9662673b34a77a /src/tools/ocbr | |
parent | e6ce5160d4de293e69e7d97ddc380ccbc59f16d5 (diff) | |
download | ouroboros-88f77ed5ef8d354664bac6d3c8af3d96cae640a4.tar.gz ouroboros-88f77ed5ef8d354664bac6d3c8af3d96cae640a4.zip |
irmd: Retry bind for live processes
If bind was called before the process registered with the IRMd, the
bind operation would fail. The IRMd will now wait for a short period
until the process is registered or exits.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'src/tools/ocbr')
0 files changed, 0 insertions, 0 deletions