From 31d9a4101b01d4edf120a77bfbde23fa202b2189 Mon Sep 17 00:00:00 2001 From: Timm Fitschen <timm.fitschen@ds.mpg.de> Date: Wed, 19 Dec 2018 13:45:50 +0100 Subject: [PATCH] BUG: start and stop should always terminate 0 --- makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/makefile b/makefile index 84f5484b..ab2e7aef 100644 --- a/makefile +++ b/makefile @@ -63,7 +63,7 @@ clean-antlr: run-server-screen: @if test "$$(screen -ls | grep -c 'caosdb-screen')" -eq "1"; then \ echo "server is probably running. try 'screen -ls'"; \ - exit 1 ; \ + exit 0 ; \ fi # start and wait for server @screen -L -S caosdb-screen -t server -d -m -A make run @@ -82,7 +82,7 @@ stop-server-screen: run-debug-screen: @if test "$$(screen -ls | grep -c 'caosdb-debug-screen')" -eq "1"; then \ echo "server is probably running. try 'screen -ls'"; \ - exit 1 ; \ + exit 0 ; \ fi # start and wait for server @screen -L -S caosdb-debug-screen -t server -d -m -A make run-debug -- GitLab