diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-05 21:56:37 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-05 21:56:37 (GMT) |
| commit | 20566711a562be767bea4857ece362eac6978485 (patch) | |
| tree | 347d674d45a1eb27796653d0664e0df85042fe7b | |
| parent | f59c07164604226a05091a0b2a4179069eb678ac (diff) | |
| parent | 37518e4c7b7e409b57c03debef6c8308ef974d2d (diff) | |
Merge branch 'master' of git+ssh://dev.laptop.org/git/projects/datastore
| -rw-r--r-- | src/olpc/datastore/xapianindex.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/olpc/datastore/xapianindex.py b/src/olpc/datastore/xapianindex.py index 99e24f9..cc02b0a 100644 --- a/src/olpc/datastore/xapianindex.py +++ b/src/olpc/datastore/xapianindex.py @@ -114,6 +114,7 @@ class IndexManager(object): def stop(self, force=False): + self.flush(force=True) self.stopIndexer(force) self.write_index.close() #self.read_index.close() |