From 0983dfa8fb93783e3f1893f633a2a690dbdb258c Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 17 Jun 2011 09:29:01 +0000
Subject: [PATCH] fix 1707

---
 src/fs/gnunet-service-fs_cp.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/fs/gnunet-service-fs_cp.c b/src/fs/gnunet-service-fs_cp.c
index 13c3f9fb3..c111751e4 100644
--- a/src/fs/gnunet-service-fs_cp.c
+++ b/src/fs/gnunet-service-fs_cp.c
@@ -1708,6 +1708,7 @@ GSF_peer_disconnect_handler_ (void *cls,
       GNUNET_free (dh);
     }
   GNUNET_PEER_change_rc (cp->ppd.pid, -1);
+  GSF_push_stop_ (cp);
   if (GNUNET_SCHEDULER_NO_TASK != cp->mig_revive_task)
     {
       GNUNET_SCHEDULER_cancel (cp->mig_revive_task);
-- 
2.25.1