EventIndex: Properly await the index closing.

pull/21833/head
Damir Jelić 2020-03-13 11:33:58 +01:00
parent 25568fa15c
commit a612a66b69
2 changed files with 4 additions and 3 deletions

View File

@ -549,7 +549,8 @@ export default class EventIndex extends EventEmitter {
const indexManager = PlatformPeg.get().getEventIndexingManager();
this.removeListeners();
this.stopCrawler();
return indexManager.closeEventIndex();
await indexManager.closeEventIndex();
return;
}
/**

View File

@ -135,7 +135,7 @@ class EventIndexPeg {
*/
async unset() {
if (this.index === null) return;
this.index.close();
await this.index.close();
this.index = null;
}
@ -151,7 +151,7 @@ class EventIndexPeg {
const indexManager = PlatformPeg.get().getEventIndexingManager();
if (indexManager !== null) {
this.unset();
await this.unset();
console.log("EventIndex: Deleting event index.");
await indexManager.deleteEventIndex();
}