From 84f6126224b07616d8e9317431250e3e5f2d5dec Mon Sep 17 00:00:00 2001 From: Dimitris Papagiannis Date: Fri, 24 Nov 2023 16:50:17 +0100 Subject: [PATCH] txt --- deploy_dqmgui.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deploy_dqmgui.sh b/deploy_dqmgui.sh index bf70b7b..c68f96d 100755 --- a/deploy_dqmgui.sh +++ b/deploy_dqmgui.sh @@ -64,7 +64,7 @@ preliminary_checks() { # Stop GUI if already running if [ -f $INSTALLATION_DIR/$DMWM_GIT_TAG/config/dqmgui/manage ]; then - $INSTALLATION_DIR/$DMWM_GIT_TAG/config/dqmgui/manage stop + $INSTALLATION_DIR/$DMWM_GIT_TAG/config/dqmgui/manage stop 'I did read documentation' fi # Delete installation (config & sw, does not delete state)