diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-02-24 20:22:15 +0100 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-02-24 20:26:48 +0100 |
commit | f58b017f876ad26ed8e16fac86c6bf09445d65c6 (patch) | |
tree | ff5b36fec58a5dc190d8d063cae9ef21841238db /doc/man/fset_has.3 | |
parent | 1e081ee37c0313656300c92510c701b3079ec09f (diff) | |
download | ouroboros-f58b017f876ad26ed8e16fac86c6bf09445d65c6.tar.gz ouroboros-f58b017f876ad26ed8e16fac86c6bf09445d65c6.zip |
irmd: Cleanup flow datastructures on exit0.10.3
The irmd was not cleaning up non-deallocated flows upon exit. This bug
was probably introduced with the introduction of the threadpool
managers. Also fixes a missing rwlock_destroy().
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'doc/man/fset_has.3')
0 files changed, 0 insertions, 0 deletions