aboutsummaryrefslogtreecommitdiff
path: root/src/rps/gnunet-rps-profiler.c
diff options
context:
space:
mode:
authorJulius Bünger <buenger@mytum.de>2018-07-05 22:05:16 +0200
committerJulius Bünger <buenger@mytum.de>2018-07-05 22:05:16 +0200
commit411abad7976fb483fb29bddd8982cbe746502b95 (patch)
treefbc7e937bd5e6ca256a7af24158fd26d2402fdd6 /src/rps/gnunet-rps-profiler.c
parent79b600acfc7cbcd20cdaac04be7716c8c893ac4e (diff)
downloadgnunet-411abad7976fb483fb29bddd8982cbe746502b95.tar.gz
gnunet-411abad7976fb483fb29bddd8982cbe746502b95.zip
rps profiler: additional checks and assertions before disconnect from rps
Diffstat (limited to 'src/rps/gnunet-rps-profiler.c')
-rw-r--r--src/rps/gnunet-rps-profiler.c8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/rps/gnunet-rps-profiler.c b/src/rps/gnunet-rps-profiler.c
index dcd72aef1..0427608f1 100644
--- a/src/rps/gnunet-rps-profiler.c
+++ b/src/rps/gnunet-rps-profiler.c
@@ -1177,8 +1177,12 @@ rps_disconnect_adapter (void *cls,
1177 1177
1178 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "disconnect_adapter()\n"); 1178 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "disconnect_adapter()\n");
1179 GNUNET_assert (NULL != peer); 1179 GNUNET_assert (NULL != peer);
1180 GNUNET_RPS_disconnect (h); 1180 if (NULL != peer->rps_handle)
1181 peer->rps_handle = NULL; 1181 {
1182 GNUNET_assert (h == peer->rps_handle);
1183 GNUNET_RPS_disconnect (h);
1184 peer->rps_handle = NULL;
1185 }
1182} 1186}
1183 1187
1184 1188