diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/merge_fetch.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/merge_fetch.py b/tools/merge_fetch.py index 9d0963b..bb1e17e 100755 --- a/tools/merge_fetch.py +++ b/tools/merge_fetch.py @@ -13,7 +13,7 @@ from mergetools import get_logorder, verify_entry, get_new_entries, \ hexencode, parse_args from certtools import timing_point, write_file, create_ssl_context -def merge_fetch(_args, config, localconfig): +def merge_fetch(args, config, localconfig): paths = localconfig["paths"] storagenodes = config["storagenodes"] mergedb = paths["mergedb"] |