changeset 929:1d8345e936a0

Skip PRSS key generation with --skip-prss flag.
author Martin Geisler <mg@daimi.au.dk>
date Wed, 17 Sep 2008 14:59:43 +0200
parents b22ca3a3fffd
children a1aa8bc840e1
files apps/generate-config-files.py
diffstat 1 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/apps/generate-config-files.py	Wed Sep 17 14:50:43 2008 +0200
+++ b/apps/generate-config-files.py	Wed Sep 17 14:59:43 2008 +0200
@@ -67,8 +67,10 @@
                   help="number of players")
 parser.add_option("-t", "--threshold", dest="t", type="int",
                   help="threshold (it must hold that t < n/2)")
+parser.add_option("--skip-prss", action="store_true",
+                  help="do not generate PRSS keys")
 
-parser.set_defaults(verbose=True, n=3, t=1, prefix='player')
+parser.set_defaults(verbose=True, n=3, t=1, prefix='player', skip_prss=False)
 
 (options, args) = parser.parse_args()
 
@@ -76,7 +78,8 @@
     parser.error("must supply a hostname:port argument for each player")
 
 addresses = [arg.split(':', 1) for arg in args]
-configs = generate_configs(options.n, options.t, addresses, options.prefix)
+configs = generate_configs(options.n, options.t, addresses, options.prefix,
+                           options.skip_prss)
 
 for config in configs.itervalues():
     config.write()