fix jumphost support for ssh workspaces

pull/358/head
nightwing 2016-09-14 17:09:25 +00:00
rodzic b964395f86
commit 7a8e6cb3ad
1 zmienionych plików z 3 dodań i 5 usunięć

8
node_modules/c9/ssh.js wygenerowano vendored
Wyświetl plik

@ -17,11 +17,9 @@ function quote(str) {
}
function addProxyCommand(args, proxy) {
var m = /^(.+)(?::(\d+))?$/.exec(proxy);
if (!m)
return;
var proxyHost = m[1];
var proxyPort = parseInt(m[2], 10) || 22;
var m = proxy.split(":");
var proxyHost = m[0];
var proxyPort = parseInt(m[1], 10) || 22;
var proxyCmd = "ProxyCommand=ssh -W %h:%p " + args.map(quote).join(" ");
proxyCmd += " -p " + proxyPort + " " + quote(proxyHost);
args.push(