From: Julius Bünger <buenger@mytum.de>
Date: Tue, 3 Jul 2018 15:27:10 +0000 (+0200)
Subject: fix rps profiler: mark cancelled task as done
X-Git-Tag: v0.11.0~322^2~88^2~3^2~3
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=edefc4c42202fd10a48ea9037e3fe04e5ead840d;p=oweals%2Fgnunet.git

fix rps profiler: mark cancelled task as done
---

diff --git a/src/rps/gnunet-rps-profiler.c b/src/rps/gnunet-rps-profiler.c
index 16f23e86c..54dc7d65e 100644
--- a/src/rps/gnunet-rps-profiler.c
+++ b/src/rps/gnunet-rps-profiler.c
@@ -888,6 +888,7 @@ shutdown_op (void *cls)
   if (NULL != post_test_task)
   {
     GNUNET_SCHEDULER_cancel (post_test_task);
+    post_test_task = NULL;
   }
   if (NULL != churn_task)
   {