diff options
author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-07-07 15:12:42 +0200 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-07-07 15:12:42 +0200 |
commit | 04a8f3ceedefa63f9344311e5ff05ab3ce754fda (patch) | |
tree | b95e680ff8e2ef267587f959ab0a7f6ae5d93227 /src/ipcpd/normal/fmgr.c | |
parent | 80441117cf61137c6a8c97e0779e70d76ae8541d (diff) | |
download | ouroboros-04a8f3ceedefa63f9344311e5ff05ab3ce754fda.tar.gz ouroboros-04a8f3ceedefa63f9344311e5ff05ab3ce754fda.zip |
lib: Add lockfile
The pid of the IRMd is stored in a lockfile in shared memory. This
makes checking if the IRMd is running independent of the
configuration, as previously the IRMd pid was stored at the end of the
shm_du_map, which could not be read by an IRMd that would be compiled
with different configuration options.
Also corrects some unnecessary includes
Fixes #21.
Diffstat (limited to 'src/ipcpd/normal/fmgr.c')
0 files changed, 0 insertions, 0 deletions