From c20aff86800f72d388e8b4d017e2e442f2f197fc Mon Sep 17 00:00:00 2001
From: Jakob Moser <moser@cl.uni-heidelberg.de>
Date: Thu, 26 May 2022 13:43:07 +0200
Subject: [PATCH] Use different exit code
---
entrypoint.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/entrypoint.sh b/entrypoint.sh
index 4e429a0..951469d 100644
--- a/entrypoint.sh
+++ b/entrypoint.sh
@@ -33,5 +33,5 @@ then
else
# Print xle output to stdout and fail
cat xle_messages.txt
- exit 1
+ exit 42
fi
--
GitLab