diff --git a/update-apt-xapian-index b/update-apt-xapian-index index 5b38c5f..f6e434a 100755 --- a/update-apt-xapian-index +++ b/update-apt-xapian-index @@ -103,4 +103,6 @@ if opts.update: else: indexer.rebuild(opts.pkgfile)
+# Free the resources explicitly. See LP: #1530518 +del indexer sys.exit(0)
diff --git a/update- apt-xapian- index b/update- apt-xapian- index apt-xapian- index apt-xapian- index rebuild( opts.pkgfile)
index 5b38c5f..f6e434a 100755
--- a/update-
+++ b/update-
@@ -103,4 +103,6 @@ if opts.update:
else:
indexer.
+# Free the resources explicitly. See LP: #1530518
+del indexer
sys.exit(0)