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