Jcrespo has submitted this change and it was merged.

Change subject: mariadb: Fix bashism on eventlogging.init
......................................................................


mariadb: Fix bashism on eventlogging.init

Bug: T95064
Change-Id: I2fdb5005b3c8fca4b38a68d94b6415ecc890b7d9
---
M files/mariadb/eventlogging_sync.init
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jcrespo: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/files/mariadb/eventlogging_sync.init 
b/files/mariadb/eventlogging_sync.init
index 86b152f..437a0a4 100644
--- a/files/mariadb/eventlogging_sync.init
+++ b/files/mariadb/eventlogging_sync.init
@@ -49,7 +49,7 @@
     if is_running; then
         echo -n "Stopping $name.."
         kill `get_pid`
-        for i in {1..10}
+        for i in $(seq 1 10)
         do
             if ! is_running; then
                 break

-- 
To view, visit https://gerrit.wikimedia.org/r/316532
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2fdb5005b3c8fca4b38a68d94b6415ecc890b7d9
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Jcrespo <jcre...@wikimedia.org>
Gerrit-Reviewer: Jcrespo <jcre...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to