diff options
author | bobzel <zzzman@gmail.com> | 2023-05-10 12:14:22 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2023-05-10 12:14:22 -0400 |
commit | 24f9e3ddefb1853cce3f3c51dfbe6183d88bce78 (patch) | |
tree | 8d359805f6e80082e3841ecf3d71192971eaf79d | |
parent | 480f155d69bd5546f04f0a9f5a78f026f8b6533a (diff) | |
parent | 73a9d384343c7821fda1decf8aab47bcadd96df6 (diff) |
Merge branch 'master' into UI_Update_Eric_Ma
-rw-r--r-- | src/server/websocket.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/server/websocket.ts b/src/server/websocket.ts index 42c84322b..f131927f7 100644 --- a/src/server/websocket.ts +++ b/src/server/websocket.ts @@ -18,6 +18,7 @@ import { DocumentsCollection } from './IDatabase'; import { Diff, GestureContent, MessageStore, MobileDocumentUploadContent, MobileInkOverlayContent, Transferable, Types, UpdateMobileInkOverlayPositionContent, YoutubeQueryInput, YoutubeQueryTypes } from './Message'; import { Search } from './Search'; import { resolvedPorts } from './server_Initialization'; +var _ = require('lodash'); export namespace WebSocket { export let _socket: Socket; @@ -365,7 +366,7 @@ export namespace WebSocket { // indexesToRemove stores the indexes that we mark for deletion, which is later used to filter the list (delete the elements) let indexesToRemove: number[] = []; for (let i = 0; i < hint.deleteCount; i++) { - if (curList[i + hint.start] === remListItems[i]) { + if (curList.length > i + hint.start && _.isEqual(curList[i + hint.start], remListItems[i])) { indexesToRemove.push(i + hint.start); continue; } |