From 77964f9e715ecf68e9bfb30973a04563fc3d257b Mon Sep 17 00:00:00 2001
From: Lukas Werner <lks.werner@fau.de>
Date: Wed, 4 Aug 2021 17:59:25 +0200
Subject: [PATCH] Fixed unknown node error message
---
runner_scripts/root/run.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/runner_scripts/root/run.sh b/runner_scripts/root/run.sh
index c3f1d51..a219b75 100755
--- a/runner_scripts/root/run.sh
+++ b/runner_scripts/root/run.sh
@@ -79,9 +79,9 @@ if [[ ("$2" == "step_script" || "$2" == "build_script") && "${CUSTOM_ENV_NO_SLUR
: "${SLURM_NODELIST:="phinally"}" # default node: phinally
if [ ! $(sinfo -n "$SLURM_NODELIST" -h -O NodeList) ]; then
- echo "Unknown node $SLURM_NODELIST specified. Available nodes: " >&2
+ echo "${TXT_RED}${TXT_BOLD}Unknown node \"$SLURM_NODELIST\" specified. Available nodes: ${TXT_CLEAR}" >&2
echo "$(sinfo -N -o '%N %c %m')" >&2
- error
+ error "Exiting..."
fi
SLURM_PARTITION=work
--
GitLab