From 6f7905f7ad5f8cfa39d8adca6f0bec3bb2f750e3 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 --- Femto-DS/Femto-DS.sh | 1 + RandomData-DS/RandomData-DS.sh | 1 + 2 files changed, 2 insertions(+) diff --git a/Femto-DS/Femto-DS.sh b/Femto-DS/Femto-DS.sh index 5f55a620f..785f87970 100755 --- a/Femto-DS/Femto-DS.sh +++ b/Femto-DS/Femto-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} diff --git a/RandomData-DS/RandomData-DS.sh b/RandomData-DS/RandomData-DS.sh index 5f55a620f..785f87970 100755 --- a/RandomData-DS/RandomData-DS.sh +++ b/RandomData-DS/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