diff options
-rw-r--r-- | src/rps/gnunet-service-rps.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rps/gnunet-service-rps.c b/src/rps/gnunet-service-rps.c index 9620ba7a8..8d1b43bae 100644 --- a/src/rps/gnunet-service-rps.c +++ b/src/rps/gnunet-service-rps.c | |||
@@ -1443,9 +1443,9 @@ shutdown_task (void *cls, | |||
1443 | 1443 | ||
1444 | GNUNET_NSE_disconnect (nse); | 1444 | GNUNET_NSE_disconnect (nse); |
1445 | GNUNET_CADET_disconnect (cadet_handle); | 1445 | GNUNET_CADET_disconnect (cadet_handle); |
1446 | RPS_sampler_destroy (); | ||
1446 | GNUNET_break (0 == GNUNET_CONTAINER_multipeermap_size (peer_map)); | 1447 | GNUNET_break (0 == GNUNET_CONTAINER_multipeermap_size (peer_map)); |
1447 | GNUNET_CONTAINER_multipeermap_destroy (peer_map); | 1448 | GNUNET_CONTAINER_multipeermap_destroy (peer_map); |
1448 | RPS_sampler_destroy (); | ||
1449 | GNUNET_array_grow (request_deltas, request_deltas_size, 0); | 1449 | GNUNET_array_grow (request_deltas, request_deltas_size, 0); |
1450 | GNUNET_array_grow (gossip_list, gossip_list_size, 0); | 1450 | GNUNET_array_grow (gossip_list, gossip_list_size, 0); |
1451 | GNUNET_array_grow (push_list, push_list_size, 0); | 1451 | GNUNET_array_grow (push_list, push_list_size, 0); |