[ARVADOS] updated: 1.3.0-3061-g0f3db3d5f

[Git user]

Summary of changes:
 tools/arvbox/bin/arvbox | 1 +
 1 file changed, 1 insertion(+)

       via  0f3db3d5f1bc976f38f6eed05c236ece79b7f876 (commit)
      from  64d38dcbfb53c240a99523e250ad576788954a56 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 0f3db3d5f1bc976f38f6eed05c236ece79b7f876
Author: Peter Amstutz <peter.amstutz at curii.com>
Date:   Fri Sep 4 10:10:26 2020 -0400

    16796: Publish webshell port
    
    Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz at curii.com>

diff --git a/tools/arvbox/bin/arvbox b/tools/arvbox/bin/arvbox
index 2d930c5e6..279d46c08 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=""

-----------------------------------------------------------------------


hooks/post-receive
--