From dbd02830fa5f3dd91aa1af4cdf2d6c03a288e86c Mon Sep 17 00:00:00 2001
From: Simon Warta <simon@warta.it>
Date: Tue, 4 Feb 2020 22:35:38 +0100
Subject: [PATCH] Try some sleep

---
 scripts/cosm/start.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scripts/cosm/start.sh b/scripts/cosm/start.sh
index a3872b65e2..2c0b285ffe 100755
--- a/scripts/cosm/start.sh
+++ b/scripts/cosm/start.sh
@@ -51,5 +51,10 @@ docker exec "$CONTAINER_NAME" \
 
 echo "rest server running on http://localhost:1317 and logging into $REST_SERVER_LOGFILE"
 
+# Give REST server some time to come alive. No idea why this helps. Needed for CI.
+if [ -n "${CI:-}" ]; then
+  sleep 0.5
+fi
+
 # Debug rest server start
 # sleep 3 && cat "$REST_SERVER_LOGFILE"