14660: Enable workbench2 to connect to development server via websockets.

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <pamstutz@veritasgenetics.com>

diff --git a/tools/arvbox/lib/arvbox/docker/service/nginx/run-service b/tools/arvbox/lib/arvbox/docker/service/nginx/run-service
index 0893069706cdb7f3ab553c38c701abb8bb6adbf4..cf72ed2c2c97fc4364d5148fbf08d7b77807fcc3 100755 (executable)
--- a/tools/arvbox/lib/arvbox/docker/service/nginx/run-service
+++ b/tools/arvbox/lib/arvbox/docker/service/nginx/run-service
@@ -86,6 +86,13 @@ server {
       proxy_set_header X-Forwarded-Proto https;
       proxy_redirect off;
     }
+    location  /sockjs-node {
+      proxy_pass http://workbench2;
+      proxy_set_header    Upgrade         \$http_upgrade;
+      proxy_set_header    Connection      "upgrade";
+      proxy_set_header Host \$http_host;
+      proxy_set_header X-Forwarded-For \$proxy_add_x_forwarded_for;
+    }
   }
 
   upstream keep-web {