fix

diff --git a/src/transport/gnunet-service-transport.c b/src/transport/gnunet-service-transport.c
index d379a7410153e819d9b8051ed27058ca7a08b408..8292974be713afb662c03fd17d3bd89a9a4de0d1 100644 (file)
--- a/src/transport/gnunet-service-transport.c
+++ b/src/transport/gnunet-service-transport.c
@@ -1747,6 +1747,12 @@ plugin_env_session_end  (void *cls,
     rl->addresses = pos->next;
   else
     prev->next = pos->next;
+  if (GNUNET_SCHEDULER_NO_TASK != pos->revalidate_task)
+    {
+      GNUNET_SCHEDULER_cancel (sched,
+                              pos->revalidate_task);
+      pos->revalidate_task = GNUNET_SCHEDULER_NO_TASK;
+    }
   GNUNET_free (pos);
   if (nl->received_pong == GNUNET_NO)
     return; /* nothing to do */