gnunet

commit da41f8e25a192f78f2360b79372780e750a94178
parent b00ea4c4a360a9deb7619c01862f1910e4a906aa
Author: Julius Bünger <buenger@mytum.de>
Date:   Tue, 26 Feb 2019 12:36:13 +0100

RPS: Track expected number of pushes w. statistics

Diffstat:
M
src/rps/gnunet-service-rps.c
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/src/rps/gnunet-service-rps.c b/src/rps/gnunet-service-rps.c
@@ -4404,6 +4404,10 @@ do_round (void *cls)
         "# peers in view at end of round",
         View_size (sub->view),
         GNUNET_NO);
+    GNUNET_STATISTICS_set (stats,
+        "# expected pushes",
+        alpha * sub->view_size_est_need,
+        GNUNET_NO);
   }
 
   LOG (GNUNET_ERROR_TYPE_DEBUG,