chiark
/
gitweb
/
~mdw
/
disorder
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
scripts/setup waits a bit to let the server start up. This is a real
[disorder]
/
scripts
/
setup.in
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..."