aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJulius Bünger <buenger@mytum.de>2019-02-26 12:36:13 +0100
committerJulius Bünger <buenger@mytum.de>2019-02-26 12:37:17 +0100
commitda41f8e25a192f78f2360b79372780e750a94178 (patch)
treead04aef1452b5ffcb9785bc360242364ad47f26c
parentb00ea4c4a360a9deb7619c01862f1910e4a906aa (diff)
downloadgnunet-da41f8e25a192f78f2360b79372780e750a94178.tar.gz
gnunet-da41f8e25a192f78f2360b79372780e750a94178.zip
RPS: Track expected number of pushes w. statistics
-rw-r--r--src/rps/gnunet-service-rps.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/rps/gnunet-service-rps.c b/src/rps/gnunet-service-rps.c
index 098c71f93..b389c5b79 100644
--- a/src/rps/gnunet-service-rps.c
+++ b/src/rps/gnunet-service-rps.c
@@ -4404,6 +4404,10 @@ do_round (void *cls)
4404 "# peers in view at end of round", 4404 "# peers in view at end of round",
4405 View_size (sub->view), 4405 View_size (sub->view),
4406 GNUNET_NO); 4406 GNUNET_NO);
4407 GNUNET_STATISTICS_set (stats,
4408 "# expected pushes",
4409 alpha * sub->view_size_est_need,
4410 GNUNET_NO);
4407 } 4411 }
4408 4412
4409 LOG (GNUNET_ERROR_TYPE_DEBUG, 4413 LOG (GNUNET_ERROR_TYPE_DEBUG,