diff options
-rw-r--r-- | src/rps/gnunet-service-rps.c | 4 |
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, |