You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Dec 14, 2023. It is now read-only.
It would be possible that even with the socket.ext extension installed on the server we can configure a display name for the server.
// Server display name to show in menu
// This will be used if there's no connection
// to server, or if you have no socket.ext installed
// "display_name" "Server #1"
I have the socket.ext extension installed on my servers, but I would still like to configure a display name instead of using the server's hostname.