From 0f3db3d5f1bc976f38f6eed05c236ece79b7f876 Mon Sep 17 00:00:00 2001
From: Peter Amstutz <peter.amstutz@curii.com>
Date: Fri, 4 Sep 2020 10:10:26 -0400
Subject: [PATCH] 16796: Publish webshell port

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>
---
 tools/arvbox/bin/arvbox | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/arvbox/bin/arvbox b/tools/arvbox/bin/arvbox
index 2d930c5e6d..279d46c08b 100755
--- 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=""
-- 
2.30.2