From 8b663f043b4defcb3616cdff0fec938cd67d1584 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Julius=20B=C3=BCnger?= Date: Tue, 26 Feb 2019 16:13:21 +0100 Subject: [PATCH] RPS: NULL out cadet port after closing --- src/rps/gnunet-service-rps.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/rps/gnunet-service-rps.c b/src/rps/gnunet-service-rps.c index 7e032997e..1f9f7ba79 100644 --- a/src/rps/gnunet-service-rps.c +++ b/src/rps/gnunet-service-rps.c @@ -2993,6 +2993,7 @@ destroy_sub (struct Sub *sub) /* Disconnect from cadet */ GNUNET_CADET_close_port (sub->cadet_port); + sub->cadet_port= NULL; /* Clean up data structures for peers */ RPS_sampler_destroy (sub->sampler); -- 2.25.1