summaryrefslogtreecommitdiff
path: root/src/lib/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-06-16 22:32:06 +0200
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-06-16 22:32:06 +0200
commit0bdec7d84cccf3714804a6bc220fbedf96eccd54 (patch)
tree0abf4e18a593de01fc00d38910736da8b418180d /src/lib/.gitignore
parentd222a173f826c6bc4b32c3db8bac7ba610632c8e (diff)
downloadouroboros-0bdec7d84cccf3714804a6bc220fbedf96eccd54.tar.gz
ouroboros-0bdec7d84cccf3714804a6bc220fbedf96eccd54.zip
tools: fixed application shutdown
Tools would do a double ap_fini when an error occurred.
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions