diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-12-28 00:36:36 +0100 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-12-28 01:05:20 +0100 |
| commit | 314c5323d3a038394f43e84d72594b78d17b1a46 (patch) | |
| tree | 5c82135181d99879725f59cc4c263e9ec4e95049 /doc/.gitignore | |
| parent | 6166259f74855fe9e6976175eeb7b16912bc477a (diff) | |
| download | ouroboros-314c5323d3a038394f43e84d72594b78d17b1a46.tar.gz ouroboros-314c5323d3a038394f43e84d72594b78d17b1a46.zip | |
include, lib: Report communication failure with the IRMd
An errno EIRMD has been added to errno.h to indicate failure to send a
message tot the IRMd. The IRM tool will report such errors, which
makes it easier for users to detect that the IRM was not started or
has failed.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions