diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-03-29 16:34:06 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-03-29 16:34:06 +0000 |
| commit | 6d331deca437e157cc9aa23a1fd5d0d4c2353cb8 (patch) | |
| tree | 5fcbd918d35fdfb741fb215d23ee35ebc38a69fa /src/irmd/registry.c | |
| parent | 489b6be608ce40d5249d95f77815be9b422995d5 (diff) | |
| parent | 001b2bd5b79b2e6af7942d83689163e2120ff1de (diff) | |
| download | ouroboros-6d331deca437e157cc9aa23a1fd5d0d4c2353cb8.tar.gz ouroboros-6d331deca437e157cc9aa23a1fd5d0d4c2353cb8.zip | |
Merged in dstaesse/ouroboros/be-fix-irmd-shutdown (pull request #433)
irmd: Exit blocking threads from irm_sanitizer
Diffstat (limited to 'src/irmd/registry.c')
0 files changed, 0 insertions, 0 deletions