rps service/config: rename option in config, too
authorJulius Bünger <buenger@mytum.de>
Wed, 4 Apr 2018 06:06:13 +0000 (08:06 +0200)
committerJulius Bünger <buenger@mytum.de>
Wed, 4 Apr 2018 06:46:59 +0000 (08:46 +0200)
src/rps/test_rps.conf

index fce07c9450e2fd100b1c9d990dcd05329b48413d..0b49b4e7639cc8b36cdf61af30f1100d3ab415bb 100644 (file)
@@ -19,7 +19,7 @@ FILENAME_VALID_PEERS = $GNUNET_DATA_HOME/rps/valid_peers.txt
 # until we receive the first estimate from NSE.
 # Keep in mind, that (networksize)^(1/3) should be enough.
 # So, 50 is enough for a network of size 50^3 = 125000
-INITSIZE = 4
+MINSIZE = 4
 
 [testbed]
 HOSTNAME = localhost