diff options
author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-27 23:22:09 +0200 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-27 23:29:13 +0200 |
commit | f897c97de0b28cc2e48bba1bb9fc986fe4659819 (patch) | |
tree | 455165542c2bd490affb4169d83965df1119a1d0 /compile_debug.sh | |
parent | 7fd43a33c5964fcf0f8de2efc9dbf27f8db25fc4 (diff) | |
download | ouroboros-f897c97de0b28cc2e48bba1bb9fc986fe4659819.tar.gz ouroboros-f897c97de0b28cc2e48bba1bb9fc986fe4659819.zip |
irmd: Add state checks to api_entry
Prevents double destruction.
Diffstat (limited to 'compile_debug.sh')
0 files changed, 0 insertions, 0 deletions