diff options
| author | dimitri staessens <[email protected]> | 2016-05-12 09:23:19 +0200 |
|---|---|---|
| committer | dimitri staessens <[email protected]> | 2016-05-12 10:22:00 +0200 |
| commit | 8adacfc236c16e02ed5f0b7c17d565b8f50bd4b7 (patch) | |
| tree | 8faa14e8ab13f9437887e06b226c86705a60dbe8 /src/lib | |
| parent | 3e2a8dea41438b682daac64371aecc6765fba3a6 (diff) | |
| download | ouroboros-8adacfc236c16e02ed5f0b7c17d565b8f50bd4b7.tar.gz ouroboros-8adacfc236c16e02ed5f0b7c17d565b8f50bd4b7.zip | |
irmd: cleanup
improved cleanup when killing the IRMd.
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions