Ghost User · 534f41f5 · 09dd485f
--- a/src/routing/util/ReplicationsDensityManager.java
+++ b/src/routing/util/ReplicationsDensityManager.java
        }

        // Else, update all replications densities:
-        int numberUniqueEncounters = this.uniqueEncountersInTimeWindow.size();
+        double numberUniqueEncounters = this.uniqueEncountersInTimeWindow.size();
        for (String msgId : this.replicationsDensities.keySet()) {
+            // Set replications density for a message to the rate of hosts met with that message.
+            double newDensity;