Springle has submitted this change and it was merged.

Change subject: db1039 to s7
......................................................................


db1039 to s7

Change-Id: I50a9a1e3b56c51a146e9547a6357ac79ed238084
---
M manifests/site.pp
1 file changed, 6 insertions(+), 4 deletions(-)

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



diff --git a/manifests/site.pp b/manifests/site.pp
index 1be6a7b..426868f 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -644,8 +644,8 @@
     }
 }
 
-node /^db10(06|15|22|27|39|40)\.eqiad\.wmnet/ {
-    if $hostname =~ /^db10(22|39|40)/ {
+node /^db10(06|15|22|27|40)\.eqiad\.wmnet/ {
+    if $hostname =~ /^db10(22|40)/ {
         class { role::coredb::s6 : innodb_file_per_table => true, mariadb => 
true }
     } elsif $hostname =~ /^db10(15|27)/ {
         class { role::coredb::s6 : mariadb => true }
@@ -654,8 +654,10 @@
     }
 }
 
-node /^db10(07|24|28|41)\.eqiad\.wmnet/ {
-    if $hostname == "db1028" {
+node /^db10(07|24|28|39|41)\.eqiad\.wmnet/ {
+    if $hostname =~ /^db10(39)/ {
+        class { role::coredb::s7 : innodb_file_per_table => true, mariadb => 
true }
+    } elsif $hostname == "db1028" {
         class { role::coredb::s7 : mariadb => true }
     } else {
         include role::coredb::s7

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I50a9a1e3b56c51a146e9547a6357ac79ed238084
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Springle <sprin...@wikimedia.org>
Gerrit-Reviewer: Springle <sprin...@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