(core) get user.Name through same mechanism as user.id for websocket Client

Summary:
This avoids an extra database query to look up the user's current
name, by capturing it at the moment their user id is queried.

Test Plan: existing test for user.Name changes continues to pass

Reviewers: dsagal

Reviewed By: dsagal

Differential Revision: https://phab.getgrist.com/D3381
This commit is contained in:
Paul Fitzpatrick
2022-04-14 11:59:51 -04:00
parent 64a5c79dbc
commit ce7eb05ed4
3 changed files with 20 additions and 19 deletions

View File

@@ -825,7 +825,6 @@ export class FlexServer implements GristServer {
sessions: this._sessions,
hosts: this._hosts,
httpsServer: this.httpsServer,
dbManager: this._dbManager,
});
}
/**