From 7436ab3d0dc12dc6263d79ebf4757234ccc35d91 Mon Sep 17 00:00:00 2001
From: Thomas Juerges <4-jurges@users.noreply.git.astron.nl>
Date: Thu, 30 Apr 2020 17:07:42 +0200
Subject: [PATCH] Change also the start scripts for devices servers, forgot an
exit -1
---
RandomData-DS.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/RandomData-DS.sh b/RandomData-DS.sh
index 5f55a62..785f879 100755
--- a/RandomData-DS.sh
+++ b/RandomData-DS.sh
@@ -10,6 +10,7 @@ if [ ${#} -eq 1 ]; then
instance="${1}"
else
echo "The instance of this device server must be provided!"
+ exit -1
fi
containerPath=${myDir//${HOME}\//\/hosthome\/}
docker exec -it itango python3 ${containerPath}/${runThis} ${instance}
--
GitLab