actually use correct method to get all device ids for a user

This commit is contained in:
Bruno Windels 2020-09-14 18:31:54 +02:00
parent 75bff228ec
commit 12262f2824

View File

@ -169,7 +169,7 @@ export class DeviceTracker {
} }
async _storeQueriedDevicesForUserId(userId, deviceIdentities, txn) { async _storeQueriedDevicesForUserId(userId, deviceIdentities, txn) {
const knownDeviceIds = await txn.deviceIdentities.getAllForUserId(userId); const knownDeviceIds = await txn.deviceIdentities.getAllDeviceIds(userId);
// delete any devices that we know off but are not in the response anymore. // delete any devices that we know off but are not in the response anymore.
// important this happens before checking if the ed25519 key changed, // important this happens before checking if the ed25519 key changed,
// otherwise we would end up deleting existing devices with changed keys. // otherwise we would end up deleting existing devices with changed keys.