diff options
| author | Sean Finney <seanius@debian.org> | 2008-07-06 14:19:19 +0200 |
|---|---|---|
| committer | Sean Finney <seanius@debian.org> | 2008-07-06 14:19:19 +0200 |
| commit | a096be35d331813b6e786d0ea95165c9fbee2d51 (patch) | |
| tree | 71789fc953120eb991ad5fc04cfb6879a426388b /gen-patch-info.py | |
| parent | bf3c216bb1c47fedc5690efb4d275a8aa0b0ad25 (diff) | |
| download | patch-tracker-a096be35d331813b6e786d0ea95165c9fbee2d51.tar.gz | |
bugfix: don't automatically prune in destructor
otherwise its gets pruned every page visit, whoops.
Diffstat (limited to 'gen-patch-info.py')
| -rwxr-xr-x | gen-patch-info.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gen-patch-info.py b/gen-patch-info.py index 2efe0a1..0d579af 100755 --- a/gen-patch-info.py +++ b/gen-patch-info.py @@ -41,4 +41,6 @@ if __name__ == '__main__': db.relateSourcePackage(name=p.name, version=p.version, suite=s, component=c) + db.prune() + db.unmark() db.finalize() |