projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0036a0a)
16796: Fix webshell logging.
authorPeter Amstutz <peter.amstutz@curii.com>
Thu, 3 Sep 2020 18:39:30 +0000 (14:39 -0400)
committerPeter Amstutz <peter.amstutz@curii.com>
Thu, 3 Sep 2020 18:39:30 +0000 (14:39 -0400)
Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>

tools/arvbox/lib/arvbox/docker/service/webshell/run patch | blob | history

diff --git a/tools/arvbox/lib/arvbox/docker/service/webshell/run b/tools/arvbox/lib/arvbox/docker/service/webshell/run
index 1c0fdb1697bac3441d43c450db5a716c1fe81695..c2bf42f9be7057a26d4170c936b8a197d4a3cd43 100755 (executable)
--- 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