1
0
Fork 0

increase sleep time

This commit is contained in:
Jan Steemann 2012-10-17 15:40:59 +02:00
parent d2d7896846
commit 215ce95a8c
1 changed files with 1 additions and 1 deletions

View File

@ -114,7 +114,7 @@ start-server:
($(VALGRIND) @builddir@/bin/arangod "$(VOCDIR)" $(SERVER_OPT) --pid-file $(PIDFILE) --watch-process $(PID) && rm -rf "$(VOCDIR)") &
@test "$(PROTO)" == "unix" || (rm -f "$(STARTFILE)"; while [ ! -s "$(STARTFILE)" ]; do $(CURL) $(CURL_OPT) --insecure -X GET -s "$(PROTO)://$(VOCHOST):$(VOCPORT)/_api/version" > "$(STARTFILE)" || sleep 2; done)
@(test "$(PROTO)" == "unix" && sleep 2) || true
@(test "$(PROTO)" == "unix" && sleep 5) || true
@rm -f "$(STARTFILE)"
@echo "server has been started."
@if [ "$(VALGRIND)" != "" ]; then echo "adding valgrind memorial time..."; sleep 75; else sleep 2; fi