From aad5708eb2934e5d26d24dc127b8f125a8d75f62 Mon Sep 17 00:00:00 2001
From: Timm Fitschen <timm.fitschen@ds.mpg.de>
Date: Wed, 19 Dec 2018 13:50:37 +0100
Subject: [PATCH] MAINT: revert previous commit

---
 makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/makefile b/makefile
index ab2e7aef..84f5484b 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 0 ; \
+		exit 1 ; \
 	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 0 ; \
+		exit 1 ; \
 	fi
 	# start and wait for server
 	@screen -L -S caosdb-debug-screen -t server -d -m -A make run-debug
-- 
GitLab