16796: Publish webshell port

[arvados.git] / tools / arvbox / bin / arvbox

diff --git a/tools/arvbox/bin/arvbox b/tools/arvbox/bin/arvbox
index 2d930c5e6d9bb941814e3e3751bb9edb980cf61b..279d46c08b4ee98a652d78b88f949f1587453d8a 100755 (executable)
--- a/tools/arvbox/bin/arvbox
+++ b/tools/arvbox/bin/arvbox
@@ -206,6 +206,7 @@ run() {
               --publish=25101:25101
               --publish=8001:8001
               --publish=8002:8002
+              --publish=4202:4202
              --publish=45000-45020:45000-45020"
     else
         PUBLIC=""