Merge branch 'f-server-side-scripting' of...

Merge branch 'f-server-side-scripting' of gitlab.gwdg.de:bmp-caosdb/caosdb-server into f-server-side-scripting

makefile

@@ -22,6 +22,10 @@
 #
 
 SHELL:=/bin/bash
+
+runserver:
+	mvn exec:exec
+
 run: compile
 	mvn exec:exec
 
@@ -60,6 +64,7 @@ clean: clean-antlr
 clean-antlr:
 	rm -rf target/generated-sources/antlr4/
 
+.PHONY: run-server-screen
 run-server-screen:
 	@if test "$$(screen -ls | grep -c 'caosdb-screen')" -eq "1"; then \
 		echo "server is probably running. try 'screen -ls'"; \
@@ -74,11 +79,13 @@ run-server-screen:
 	done; \
 
 
+.PHONY: stop-server-screen
 stop-server-screen:
 	# stop screen session with server
 	@screen -S caosdb-screen -X hardcopy screen.log || true
 	@screen -S caosdb-screen -p server -X stuff "^C"
 
+.PHONY: run-debug-screen
 run-debug-screen:
 	@if test "$$(screen -ls | grep -c 'caosdb-debug-screen')" -eq "1"; then \
 		echo "server is probably running. try 'screen -ls'"; \
@@ -93,6 +100,7 @@ run-debug-screen:
 	done; \
 
 
+.PHONY: stop-debug-screen
 stop-debug-screen:
 	# stop screen session with debug server
 	@screen -S caosdb-debug-screen -X hardcopy screen.log || true