From c740c81d864cd6f60e4db22f962d5c9b0947f8a5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Julius=20B=C3=BCnger?= <buenger@mytum.de>
Date: Wed, 27 Dec 2017 15:06:30 +0100
Subject: [PATCH] rps: close port before disconnecting

---
 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 177be9085..d3d642ee0 100644
--- a/src/rps/gnunet-service-rps.c
+++ b/src/rps/gnunet-service-rps.c
@@ -2147,6 +2147,7 @@ shutdown_task (void *cls)
   GNUNET_NSE_disconnect (nse);
   RPS_sampler_destroy (prot_sampler);
   RPS_sampler_destroy (client_sampler);
+  GNUNET_CADET_close_port (cadet_port);
   GNUNET_CADET_disconnect (cadet_handle);
   View_destroy ();
   CustomPeerMap_destroy (push_map);
-- 
2.25.1