From 4b72d1fe12c340fc0f53c42309e9789bcb1d831f Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 25 Feb 2019 22:04:04 +0100
Subject: [PATCH] fix #5608

---
 src/set/gnunet-service-set.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/set/gnunet-service-set.c b/src/set/gnunet-service-set.c
index c71eb6edc..71f74594f 100644
--- a/src/set/gnunet-service-set.c
+++ b/src/set/gnunet-service-set.c
@@ -1221,8 +1221,11 @@ _GSS_operation_destroy2 (struct Operation *op)
     GNUNET_CADET_channel_destroy (channel);
   }
   if (NULL != op->listener)
+  {
     incoming_destroy (op);
-  else if (NULL != op->set)
+    return;
+  }
+  if (NULL != op->set)
     op->set->vt->channel_death (op);
   else
     _GSS_operation_destroy (op,
-- 
2.25.1