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 <[email protected]>
Gerrit-Reviewer: Springle <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits