gnunet

commit 982273989ef2f45bf77854c67aa35334ad0d547f
parent 0b9b3090b9f624577b5132a47f25e83b26a0e563
Author: ng0 <ng0@infotropique.org>
Date:   Wed, 13 Sep 2017 07:11:00 +0000

Merge branch 'master' of gnunet.org:gnunet

Diffstat:
M
src/cadet/gnunet-service-cadet.c
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/src/cadet/gnunet-service-cadet.c b/src/cadet/gnunet-service-cadet.c
@@ -638,6 +638,7 @@ handle_channel_destroy (void *cls,
          "%s tried to destroy unknown channel %X\n",
          GSC_2s(c),
          (uint32_t) ntohl (msg->ccn.channel_of_client));
+    GNUNET_SERVICE_client_continue (c->client);
     return;
   }
   LOG (GNUNET_ERROR_TYPE_DEBUG,