chiark / gitweb /
scripts/setup waits a bit to let the server start up. This is a real
[disorder] / scripts / setup.in
index dc8ca9b8946ae44677a91a72bd411deacb20bece..449da2d8f2ce4062c9937a73d09c452bfa541eca 100755 (executable)
@@ -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..."