diff options
| -rwxr-xr-x | gen-patch-info.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gen-patch-info.py b/gen-patch-info.py index 17b2a2a..0c2e768 100755 --- a/gen-patch-info.py +++ b/gen-patch-info.py @@ -59,7 +59,3 @@ if __name__ == '__main__': pts_fh = gzip.GzipFile(Conf.pts_index_file, mode="wb") simplejson.dump(pts_idx, pts_fh) pts_fh.close() - - db.prune() - db.unmark() - db.finalize() |