[GNUnet-SVN] [gnunet] 02/04: fix rps profiler: mark handle unusable after closing it

[gnunet]

This is an automated email from the git hooks/post-receive script.

julius-buenger pushed a commit to branch master
in repository gnunet.

commit 7940449e54a2716d69aed0fd01953ef6204b0229
Author: Julius Bünger <address@hidden>
AuthorDate: Tue Jul 3 21:09:47 2018 +0200

    fix rps profiler: mark handle unusable after closing it
---
 src/rps/gnunet-rps-profiler.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/rps/gnunet-rps-profiler.c b/src/rps/gnunet-rps-profiler.c
index 54dc7d65e..f75f9794f 100644
--- a/src/rps/gnunet-rps-profiler.c
+++ b/src/rps/gnunet-rps-profiler.c
@@ -900,6 +900,7 @@ shutdown_op (void *cls)
     if (NULL != rps_peers[i].rps_handle)
     {
       GNUNET_RPS_disconnect (rps_peers[i].rps_handle);
+      rps_peers[i].rps_handle = NULL;
     }
     if (NULL != rps_peers[i].op)
     {

-- 
To stop receiving notification emails like this one, please contact
address@hidden