[ARVADOS] updated: 1.3.0-3059-g513865a8e

[Git user]

Summary of changes:
 tools/arvbox/lib/arvbox/docker/service/webshell/run | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

       via  513865a8e58b8adf28c17f12093053cdb62cfa71 (commit)
      from  0036a0a5755f6c0fb5c7747c7d4442c0972b696c (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 513865a8e58b8adf28c17f12093053cdb62cfa71
Author: Peter Amstutz <peter.amstutz at curii.com>
Date:   Thu Sep 3 14:39:30 2020 -0400

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

diff --git a/tools/arvbox/lib/arvbox/docker/service/webshell/run b/tools/arvbox/lib/arvbox/docker/service/webshell/run
index 1c0fdb169..c2bf42f9b 100755
--- a/tools/arvbox/lib/arvbox/docker/service/webshell/run
+++ b/tools/arvbox/lib/arvbox/docker/service/webshell/run
@@ -3,7 +3,8 @@
 #
 # SPDX-License-Identifier: AGPL-3.0
 
-set -ex
+exec 2>&1
+set -ex -o pipefail
 
 . /usr/local/lib/arvbox/common.sh
 

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


hooks/post-receive
--