diff options
-rwxr-xr-x | with-fuseki.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/with-fuseki.sh b/with-fuseki.sh index ed58b68c..50d27c79 100755 --- a/with-fuseki.sh +++ b/with-fuseki.sh @@ -7,7 +7,7 @@ script_dirname="$( dirname -- "${0}" )" set -eo pipefail wait_http_okay() { - local timeout=15 + local timeout=30 for var in "${@}" do eval "local ${var}" |