diff options
-rwxr-xr-x | create-files | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/create-files b/create-files index 93b50e0..3cc5142 100755 --- a/create-files +++ b/create-files @@ -59,12 +59,13 @@ root = sys.argv[1] start = int(sys.argv[2]) end = int(sys.argv[3]) -i = load_state().get('current', start) +start = load_state().get('current', start) curdir = None last_checkpoint = time.time() -for i in range(i, end+1): +i = start +while i < end: dirname, basename = pathname(i) if dirname != curdir: create_dir(root, dirname) @@ -74,5 +75,6 @@ for i in range(i, end+1): if now > last_checkpoint + interval: save_state(i) last_checkpoint = now + i += 1 save_state(i) |