mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-24 08:32:02 +00:00
Slightly better init script
This commit is contained in:
parent
d44982072c
commit
83f335cc7f
2
debian/clickhouse-server.init
vendored
2
debian/clickhouse-server.init
vendored
@ -76,7 +76,7 @@ is_supported_command()
|
||||
|
||||
is_running()
|
||||
{
|
||||
[ -r "$CLICKHOUSE_PIDFILE" ] && pgrep -s $(cat "$CLICKHOUSE_PIDFILE") 1> /dev/null 2> /dev/null
|
||||
pgrep --pidfile "$CLICKHOUSE_PIDFILE" 1> /dev/null 2> /dev/null
|
||||
}
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user