mirrors/element-web
1
0
Fork 0
mirror of https://github.com/vector-im/element-web.git synced 2025-09-03 04:41:03 +02:00
Code Issues Projects Releases Wiki Activity

EventIndexing: Add a missing platform getting.

Browse Source
This commit is contained in:
Damir Jelić 2019-11-12 15:41:14 +01:00
parent ecbc47c548
commit d69eb78b66
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/EventIndexing.js
View File

@ -385,6 +385,7 @@ export default class EventIndexer {
} }
async deleteEventIndex() { async deleteEventIndex() {
const platform = PlatformPeg.get();
if (platform.supportsEventIndexing()) { if (platform.supportsEventIndexing()) {
console.log("Seshat: Deleting event index."); console.log("Seshat: Deleting event index.");
this.crawlerRef.cancel(); this.crawlerRef.cancel();