mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-21 15:12:02 +00:00
Fix server kill in coverage task
This commit is contained in:
parent
6edc7bd089
commit
7457d911f1
@ -1,11 +1,17 @@
|
||||
#!/bin/bash
|
||||
|
||||
kill_clickhouse () {
|
||||
while kill -0 `pgrep -u clickhouse`;
|
||||
do
|
||||
kill `pgrep -u clickhouse` 2>/dev/null
|
||||
|
||||
for i in {1..10}
|
||||
do
|
||||
if ! kill -0 `pgrep -u clickhouse`; then
|
||||
echo "No clickhouse process"
|
||||
break
|
||||
else
|
||||
echo "Process" `pgrep -u clickhouse` "still alive"
|
||||
sleep 10
|
||||
fi
|
||||
done
|
||||
}
|
||||
|
||||
|
@ -1,11 +1,17 @@
|
||||
#!/bin/bash
|
||||
|
||||
kill_clickhouse () {
|
||||
while kill -0 `pgrep -u clickhouse`;
|
||||
do
|
||||
kill `pgrep -u clickhouse` 2>/dev/null
|
||||
|
||||
for i in {1..10}
|
||||
do
|
||||
if ! kill -0 `pgrep -u clickhouse`; then
|
||||
echo "No clickhouse process"
|
||||
break
|
||||
else
|
||||
echo "Process" `pgrep -u clickhouse` "still alive"
|
||||
sleep 10
|
||||
fi
|
||||
done
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user