summaryrefslogtreecommitdiff
path: root/src/lib/dev.c
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-05-12 09:23:19 +0200
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-05-12 10:22:00 +0200
commit8adacfc236c16e02ed5f0b7c17d565b8f50bd4b7 (patch)
tree8faa14e8ab13f9437887e06b226c86705a60dbe8 /src/lib/dev.c
parent3e2a8dea41438b682daac64371aecc6765fba3a6 (diff)
downloadouroboros-8adacfc236c16e02ed5f0b7c17d565b8f50bd4b7.tar.gz
ouroboros-8adacfc236c16e02ed5f0b7c17d565b8f50bd4b7.zip
irmd: cleanup
improved cleanup when killing the IRMd.
Diffstat (limited to 'src/lib/dev.c')
0 files changed, 0 insertions, 0 deletions