From 1aec258abc87255636b5d57f49b073a8e1b18df1 Mon Sep 17 00:00:00 2001
From: "Hahn Axel (hahn)" <axel.hahn@unibe.ch>
Date: Thu, 14 Dec 2023 16:33:16 +0100
Subject: [PATCH] check pipestatus
---
deploy_app.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/deploy_app.sh b/deploy_app.sh
index 20a9ca1..76238d3 100755
--- a/deploy_app.sh
+++ b/deploy_app.sh
@@ -394,6 +394,7 @@ test -d "${logdir}" || mkdir -p "${logdir}"
for myprofile in $allprofiles
do
( deploy $myprofile; logdelete $myprofile ) 2>&1 | tee ${logdir}/${myprofile}__$(date +%Y-%m-%d__%H%M%S).log
+ test ${PIPESTATUS[0]} -eq 0 || exit ${PIPESTATUS[0]}
profile=
done
--
GitLab