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

event-index: Use camel case for the user/device id.

Browse source
This commit is contained in:
Damir Jelić 2020-10-13 17:03:58 +02:00
parent 5989a21dfb
commit 860b1b46e0
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/indexing/BaseEventIndexManager.ts
View file

@ -105,13 +105,13 @@ export default abstract class BaseEventIndexManager {
/** /**
* Initialize the event index for the given user. * Initialize the event index for the given user.
* *
* @param {string} user_id The event that should be added to the index. * @param {string} userId The event that should be added to the index.
* @param {string} device_id The profile of the event sender at the * @param {string} deviceId The profile of the event sender at the
* *
* @return {Promise} A promise that will resolve when the event index is * @return {Promise} A promise that will resolve when the event index is
* initialized. * initialized.
*/ */
async initEventIndex(user_id: string, device_id: string): Promise<void> { async initEventIndex(userId: string, deviceId: string): Promise<void> {
throw new Error("Unimplemented"); throw new Error("Unimplemented");
} }

8
src/indexing/EventIndexPeg.js
View file

@ -73,11 +73,11 @@ class EventIndexPeg {
const indexManager = PlatformPeg.get().getEventIndexingManager(); const indexManager = PlatformPeg.get().getEventIndexingManager();
const client = MatrixClientPeg.get(); const client = MatrixClientPeg.get();
const user_id = client.getUserId(); const userId = client.getUserId();
const device_id = client.getDeviceId(); const deviceId = client.getDeviceId();
try { try {
await indexManager.initEventIndex(user_id, device_id); await indexManager.initEventIndex(userId, deviceId);
const userVersion = await indexManager.getUserVersion(); const userVersion = await indexManager.getUserVersion();
const eventIndexIsEmpty = await indexManager.isEventIndexEmpty(); const eventIndexIsEmpty = await indexManager.isEventIndexEmpty();
@ -88,7 +88,7 @@ class EventIndexPeg {
await indexManager.closeEventIndex(); await indexManager.closeEventIndex();
await this.deleteEventIndex(); await this.deleteEventIndex();
await indexManager.initEventIndex(user_id, device_id); await indexManager.initEventIndex(userId, deviceId);
await indexManager.setUserVersion(INDEX_VERSION); await indexManager.setUserVersion(INDEX_VERSION);
} }