handle v6 ip addresses in remote-resources rewrite

aeschli · aeschli · commit 22caeb97a487 · 2019-09-30T17:42:42.000+02:00
diff --git a/src/vs/base/common/network.ts b/src/vs/base/common/network.ts
@@ -92,7 +92,10 @@ class RemoteAuthoritiesImpl {
 			return this._delegate(uri);
 		}
 		const authority = uri.authority;
-		const host = this._hosts[authority];
+		let host = this._hosts[authority];
+		if (host.indexOf(':') !== -1) {
+			host = `[${host}]`;
+		}
 		const port = this._ports[authority];
 		const connectionToken = this._connectionTokens[authority];
 		return URI.from({
