Remove stale entry from users map

This commit is contained in:
Tony Garnock-Jones 2021-04-29 15:18:57 +02:00
parent 4d89fe00d2
commit c36b760a43
1 changed files with 1 additions and 0 deletions

View File

@ -49,6 +49,7 @@ function runSession(t: Turn, uid: UserId, session: Ref) {
return (_t) => {
if (users.get(ui.uid) === ui.name) {
console.log(`${ui.name} departed`);
users.delete(ui.uid);
}
};
}));