From b7210b61b19b3c6b76e3faf5add149998a2d381a Mon Sep 17 00:00:00 2001
From: Donald Buczek <buczek@molgen.mpg.de>
Date: Sat, 30 Dec 2023 13:15:19 +0100
Subject: [PATCH] gpu-setup: Improve error message
---
helper/gpu-setup | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/helper/gpu-setup b/helper/gpu-setup
index 9fc50e12..5fbc63a7 100755
--- a/helper/gpu-setup
+++ b/helper/gpu-setup
@@ -285,7 +285,7 @@ job_release() {
fi
fi
done
- die "$0: job_release: job with $pid has no GPU locked"
+ die "$0: job_release: job with pid $pid has no GPU locked"
}
show() {