From 62b7151f1a8ca7276a6ca7094fc846813dcebce4 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 25 Jun 2018 12:18:14 +0200
Subject: [PATCH] make sure port is closed on shutdown

---
 src/cadet/gnunet-cadet.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/cadet/gnunet-cadet.c b/src/cadet/gnunet-cadet.c
index 04a595a7b..a44882443 100644
--- a/src/cadet/gnunet-cadet.c
+++ b/src/cadet/gnunet-cadet.c
@@ -1,4 +1,4 @@
-/*
+4/*
      This file is part of GNUnet.
      Copyright (C) 2012, 2017 GNUnet e.V.
 
@@ -196,6 +196,11 @@ shutdown_task (void *cls)
 {
   GNUNET_log (GNUNET_ERROR_TYPE_DEBUG,
 	      "Shutdown\n");
+  if (NULL != lp)
+  {
+    GNUNET_CADET_close_port (lp);
+    lp = NULL;
+  }
   if (NULL != ch)
   {
     GNUNET_CADET_channel_destroy (ch);
-- 
2.25.1