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