scripts/setup waits a bit to let the server start up. This is a real

bodge but will do for now.

diff --git a/scripts/setup.in b/scripts/setup.in
index dc8ca9b8946ae44677a91a72bd411deacb20bece..449da2d8f2ce4062c9937a73d09c452bfa541eca 100755 (executable)
--- a/scripts/setup.in
+++ b/scripts/setup.in
@@ -405,6 +405,7 @@ if $server_running; then
   done
   echo
   first=true
+  sleep 5
   while ! disorder version >/dev/null 2>&1; do
     if $first; then
       echo "Waiting for server startup to complete..."