Methods
parseLocalhost
- parseLocalhost(uri: default): undefined | { address: string; port: number }
-
Parameters
Returns undefined | { address: string; port: number }
Protected toRemoteHost
- toRemoteHost(localhost: { address: string; port: number }): string
-
Parameters
-
localhost: { address: string; port: number }
-
address: string
-
port: number
Returns string
Protected toRemoteUrl
- toRemoteUrl(uri: default, localhost: { address: string; port: number }): default
-
Parameters
-
-
localhost: { address: string; port: number }
-
address: string
-
port: number
Maps local to remote URLs. Should be no-op if the given URL is not a localhost URL.
By default maps to an origin serving Theia.
Use
parseLocalhostto retrieve localhost address and port information.