mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-20 00:30:49 +00:00
Lint
This commit is contained in:
parent
f74b580dda
commit
09dfec99c7
@ -7,7 +7,7 @@ CURDIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
|
||||
|
||||
|
||||
# Sanity check to ensure that the server is up and running
|
||||
for i in {1..10}; do
|
||||
for _ in {1..10}; do
|
||||
echo 'SELECT 1' | ${CLICKHOUSE_CURL_COMMAND} -s "${CLICKHOUSE_URL}" --data-binary @- > /dev/null
|
||||
if [ $? -eq 0 ]; then
|
||||
break
|
||||
|
Loading…
Reference in New Issue
Block a user