diff options
author | Determinant <ted.sybil@gmail.com> | 2018-08-18 14:27:55 -0400 |
---|---|---|
committer | Determinant <ted.sybil@gmail.com> | 2018-08-18 14:27:55 -0400 |
commit | 7c5f0eb6222639ecb9e2e8422481e4f5f87ba721 (patch) | |
tree | c6f9d445c79ddffdd337a5c9e66417b85e92f2e8 /scripts/gen_conf.py | |
parent | 1df3530f1f887ca8280536fb40aeabf7025a67aa (diff) |
update scripts
Diffstat (limited to 'scripts/gen_conf.py')
-rw-r--r-- | scripts/gen_conf.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/gen_conf.py b/scripts/gen_conf.py index 2cfc54b..7b06826 100644 --- a/scripts/gen_conf.py +++ b/scripts/gen_conf.py @@ -12,6 +12,8 @@ if __name__ == "__main__": parser.add_argument('--cport', type=int, default=20000) parser.add_argument('--keygen', type=str, default='./hotstuff-keygen') parser.add_argument('--nodes', type=str, default='nodes.txt') + parser.add_argument('--block-size', type=int, default=1) + parser.add_argument('--pace-maker', type=str, default='dummy') args = parser.parse_args() @@ -33,6 +35,10 @@ if __name__ == "__main__": p = subprocess.Popen([keygen_bin, '--num', str(len(replicas))], stdout=subprocess.PIPE, stderr=open(os.devnull, 'w')) keys = [[t[4:] for t in l.decode('ascii').split()] for l in p.stdout] + if not (args.block_size is None): + main_conf.write("block-size = {}\n".format(args.block_size)) + if not (args.pace_maker is None): + main_conf.write("pace-maker = {}\n".format(args.pace_maker)) for r in zip(replicas, keys, itertools.count(0)): main_conf.write("replica = {}, {}\n".format(r[0], r[1][0])) r_conf_name = "{}-sec{}.conf".format(prefix, r[2]) |