Marostegui has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/326080 )
Change subject: mariadb: Added calculation for gtid_domain_id
......................................................................
mariadb: Added calculation for gtid_domain_id
The gtid_domain_id variable needs to be unique and for now it should
be calculated the same way $server_id is, to make them independent
from each other
At the moment we are going to calculate the gtid_domain_id the same
way we calculate server_id. But having them independent from each other
will allow us to change one of them without affecting each other in the
future if for any reason we need to change the way they are calculated.
They both need to be unique across all the servers.
Bug: T149418
Change-Id: If60eba4597ccb7ce2fbd4bdafa4ad647bc3ab8e7
---
M manifests/config.pp
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Marostegui: Looks good to me, approved
jenkins-bot: Verified
Volans: Looks good to me, but someone else must approve
diff --git a/manifests/config.pp b/manifests/config.pp
index afa88d8..058d6a3 100644
--- a/manifests/config.pp
+++ b/manifests/config.pp
@@ -28,6 +28,11 @@
{|total,value| (total << 8 ) + value.to_i} %>"
)
+ $gtid_domain_id = inline_template(
+ "<%= @ipaddress.split('.').inject(0)\
+{|total,value| (total << 8 ) + value.to_i} %>"
+ )
+
file { '/etc/my.cnf':
owner => 'root',
group => 'root',
--
To view, visit https://gerrit.wikimedia.org/r/326080
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If60eba4597ccb7ce2fbd4bdafa4ad647bc3ab8e7
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet/mariadb
Gerrit-Branch: master
Gerrit-Owner: Marostegui <maroste...@wikimedia.org>
Gerrit-Reviewer: Jcrespo <jcre...@wikimedia.org>
Gerrit-Reviewer: Marostegui <maroste...@wikimedia.org>
Gerrit-Reviewer: Volans <rcocci...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
