fixing https://www.gnunet.org/bugs/view.php?id=1800
authorMatthias Wachs <wachs@net.in.tum.de>
Fri, 23 Sep 2011 11:10:34 +0000 (11:10 +0000)
committerMatthias Wachs <wachs@net.in.tum.de>
Fri, 23 Sep 2011 11:10:34 +0000 (11:10 +0000)
commita4bcbad810e2c83fc8c3de822b9302776e03fabb
treeee4e347ab832ca475d3acc3b1aa4bcc2524c9e4f
parenta44aa9923dd14613116939e659817f985cb89ef5
fixing https://gnunet.org/bugs/view.php?id=1800

- erroneous session termination
- erroneous address deletion

+ additional checks
src/transport/gnunet-service-transport_neighbours.c