diff options
| -rwxr-xr-x | tools/merge_fetch.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/merge_fetch.py b/tools/merge_fetch.py index 28e775f..10fd406 100755 --- a/tools/merge_fetch.py +++ b/tools/merge_fetch.py @@ -227,10 +227,8 @@ def merge_fetch_parallel(args, config, localconfig): # order. for e in fetch_set: if not e in fetch_dict: - save = procs.values() l = procs.values() rand.shuffle(l) - assert save == procs.values() fetch_dict[e] = l # For each entry to fetch, treat its list of nodes as a # circular list and ask the one in the front to fetch the |