mirrors/element-web
1
0
Fork 0
mirror of https://github.com/element-hq/element-web synced 2024-10-25 04:05:55 +03:00
Code Issues Projects Releases Packages Wiki Activity

EventIndex: Remove the unused deleteEventIndex method.

Browse source 
We need to support the deletion of the event index even if it's not
currently initialized, therefore the deletion ended up in the
EventIndexPeg class.
This commit is contained in:
Damir Jelić 2019-11-18 14:40:38 +01:00
parent c48ccf9761
commit 8d7e7d0cc4
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/EventIndex.js
View file

@ -386,14 +386,6 @@ export default class EventIndex {
return indexManager.closeEventIndex();
}
async deleteEventIndex() {
const indexManager = PlatformPeg.get().getEventIndexingManager();
if (indexManager !== null) {
this.stopCrawler();
await indexManager.deleteEventIndex();
}
}
async search(searchArgs) {
const indexManager = PlatformPeg.get().getEventIndexingManager();
return indexManager.searchEventIndex(searchArgs);