From 7a8e6cb3addf327d09f5f0fbda5c05d4b317a3ee Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Wed, 14 Sep 2016 17:09:25 +0000
Subject: [PATCH] fix jumphost support for ssh workspaces

---
 node_modules/c9/ssh.js | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/node_modules/c9/ssh.js b/node_modules/c9/ssh.js
index af30da0c..532a450d 100644
--- a/node_modules/c9/ssh.js
+++ b/node_modules/c9/ssh.js
@@ -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(