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 /doc/man/fset_del.3 | |
| 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 'doc/man/fset_del.3')
0 files changed, 0 insertions, 0 deletions