- fix mysql 4.1.1 migration trigger where one has leading space in cluster definition

[packages/mysql.git] / mysql.init

diff --git a/mysql.init b/mysql.init
index b1384316971198644a970006b2dfdd6c00c04876..598d8fa2bc4b763ebbdc8898e0d445c30b14c1ed 100644 (file)
--- a/mysql.init
+++ b/mysql.init
@@ -222,7 +222,7 @@ mysqlstop() {
 
        [ "$MYSQL_PID" != "unknown" ] && kill -TERM "$MYSQL_PID" 2> /dev/null
        # 15 seconds
-       for nr in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15; do
+       for nr in $(seq 1 15); do
                [ -d "/proc/$MYSQL_PID" ] && sleep 1
        done
        mysqlstatus "$clusterdir"