rps service: rename option in config
authorJulius Bünger <buenger@mytum.de>
Tue, 5 Jun 2018 22:35:23 +0000 (00:35 +0200)
committerJulius Bünger <buenger@mytum.de>
Tue, 5 Jun 2018 22:35:23 +0000 (00:35 +0200)
src/rps/rps.conf.in

index b5feb1bd25e6ac24c8944540aa687142812b2134..733b726012e7209b1b54b4c9e751f9826551fe8c 100644 (file)
@@ -24,4 +24,4 @@ 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 = 10
+MINSIZE = 10