collab_client: Delete unused `NO_COMMIT_PENDING` handling

pull/4986/head
Richard Hansen 2021-03-29 03:09:47 -04:00
parent 63a1f078f4
commit 1fdaf95c3b
1 changed files with 0 additions and 6 deletions

View File

@ -241,12 +241,6 @@ const getCollabClient = (ace2editor, serverVars, initialUserInfo, options, _pad)
setIsPendingRevision(false);
}
});
} else if (msg.type === 'NO_COMMIT_PENDING') {
if (committing) {
// server missed our commit message; abort that commit
setStateIdle();
handleUserChanges();
}
} else if (msg.type === 'USER_NEWINFO') {
const userInfo = msg.userInfo;
const id = userInfo.userId;