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/tools/irm | |
| 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/tools/irm')
0 files changed, 0 insertions, 0 deletions