|
nodiscard |
Gets the name of the user account for the given user.
This is used by IceGrid nodes to figure out the user account to use to run servers.
| user | The value of the server descriptor's user attribute. When this attribute is not defined, and the server's activation mode is session, the default value for user is the session identifier. |
| context | The request context. |