mirrors/element-web
1
0
Fork 0
mirror of https://github.com/element-hq/element-web synced 2024-11-28 12:28:50 +03:00
Code Issues Projects Releases Packages Wiki Activity

EventIndex: Start the crawler only if it's configured to start.

Browse source
This commit is contained in:
Damir Jelić 2019-11-26 13:31:16 +01:00
parent 47156351a6
commit 0132c3bbe3
2 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/indexing/EventIndex.js
View file

@ -120,7 +120,9 @@ export default class EventIndex {
if (eventIndexWasEmpty) await addInitialCheckpoints();
// Start our crawler.
this.startCrawler();
if (SettingsStore.getValueAt(SettingLevel.DEVICE, 'enableCrawling')) {
this.startCrawler();
}
return;
}

5
src/settings/Settings.js
View file

@ -490,5 +490,10 @@ export const SETTINGS = {
supportedLevels: LEVELS_DEVICE_ONLY_SETTINGS,
displayName: _td("How long should the crawler wait between requests"),
default: 3000,
},
"enableCrawling" : {
supportedLevels: LEVELS_DEVICE_ONLY_SETTINGS,
displayName: _td("How long should the crawler wait between requests"),
default: true,
}
};