viff

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 diff
     1.1 --- a/apps/generate-config-files.py	Wed Sep 17 14:50:43 2008 +0200
     1.2 +++ b/apps/generate-config-files.py	Wed Sep 17 14:59:43 2008 +0200
     1.3 @@ -67,8 +67,10 @@
     1.4                    help="number of players")
     1.5  parser.add_option("-t", "--threshold", dest="t", type="int",
     1.6                    help="threshold (it must hold that t < n/2)")
     1.7 +parser.add_option("--skip-prss", action="store_true",
     1.8 +                  help="do not generate PRSS keys")
     1.9  
    1.10 -parser.set_defaults(verbose=True, n=3, t=1, prefix='player')
    1.11 +parser.set_defaults(verbose=True, n=3, t=1, prefix='player', skip_prss=False)
    1.12  
    1.13  (options, args) = parser.parse_args()
    1.14  
    1.15 @@ -76,7 +78,8 @@
    1.16      parser.error("must supply a hostname:port argument for each player")
    1.17  
    1.18  addresses = [arg.split(':', 1) for arg in args]
    1.19 -configs = generate_configs(options.n, options.t, addresses, options.prefix)
    1.20 +configs = generate_configs(options.n, options.t, addresses, options.prefix,
    1.21 +                           options.skip_prss)
    1.22  
    1.23  for config in configs.itervalues():
    1.24      config.write()