diff options
| author | Sergei Golubchik <sergii@pisem.net> | 2013-06-13 14:32:57 +0200 |
|---|---|---|
| committer | Sergei Golubchik <sergii@pisem.net> | 2013-06-13 14:32:57 +0200 |
| commit | 5dee28b1c8f8239699191fbf205b4e8184c57535 (patch) | |
| tree | 257ee8a50d7576c20e38ecaaab3da5113faf8f3b /debian | |
| parent | acad1cc03c082abafc11554cfa4f801638521018 (diff) | |
| download | mariadb-git-5dee28b1c8f8239699191fbf205b4e8184c57535.tar.gz | |
MDEV-703 LP:870310 - killall -9 in init-script
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/mariadb-server-5.5.mysql.init | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/mariadb-server-5.5.mysql.init b/debian/mariadb-server-5.5.mysql.init index ccafc9d0dfe..07edda2f079 100644 --- a/debian/mariadb-server-5.5.mysql.init +++ b/debian/mariadb-server-5.5.mysql.init @@ -142,7 +142,7 @@ case "${1:-''}" in log_daemon_msg "Killing MariaDB database server by signal" "mysqld" killall -15 mysqld server_down= - for i in 1 2 3 4 5 6 7 8 9 10 1 2 3 4 5 6 7 8 9 10 1 2 3 4 5 6 7 8 9 10; do + for i in `seq 1 600`; do sleep 1 if mysqld_status check_dead nowarn; then server_down=1; break; fi done |