improve getRemoteName signature

microsoft · Feb 19, 2020 · e346071 · e346071
1 parent e3d78d5
commit e346071
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/vs/platform/remote/common/remoteHosts.ts b/src/vs/platform/remote/common/remoteHosts.ts
@@ -12,6 +12,9 @@ export function getRemoteAuthority(uri: URI): string | undefined {
 	return uri.scheme === REMOTE_HOST_SCHEME ? uri.authority : undefined;
 }
 
+export function getRemoteName(authority: string): string;
+export function getRemoteName(authority: undefined): undefined;
+export function getRemoteName(authority: string | undefined): string | undefined;
 export function getRemoteName(authority: string | undefined): string | undefined {
 	if (!authority) {
 		return undefined;
@@ -22,4 +25,4 @@ export function getRemoteName(authority: string | undefined): string | undefined
 		return authority;
 	}
 	return authority.substr(0, pos);
-}
+}