From 7940449e54a2716d69aed0fd01953ef6204b0229 Mon Sep 17 00:00:00 2001
From: Julius Bünger <buenger@mytum.de>
Date: Tue, 3 Jul 2018 21:09:47 +0200
Subject: fix rps profiler: mark handle unusable after closing it

---
 src/rps/gnunet-rps-profiler.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/rps/gnunet-rps-profiler.c')

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)
     {
-- 
cgit v1.2.3