From da41f8e25a192f78f2360b79372780e750a94178 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Julius=20B=C3=BCnger?= <buenger@mytum.de>
Date: Tue, 26 Feb 2019 12:36:13 +0100
Subject: [PATCH] RPS: Track expected number of pushes w. statistics

---
 src/rps/gnunet-service-rps.c | 4 ++++
 1 file changed, 4 insertions(+)

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)
         "# 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,
-- 
2.25.1