Giuseppe Lavagetto has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/351323 )
Change subject: profile::etcd::replication: make replication errors page
......................................................................
profile::etcd::replication: make replication errors page
Change-Id: I85b4b843177ab72ccb53ade9130c347c537f03bd
---
M modules/profile/manifests/etcd/replication.pp
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Giuseppe Lavagetto: Looks good to me, approved
Alexandros Kosiaris: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/modules/profile/manifests/etcd/replication.pp
b/modules/profile/manifests/etcd/replication.pp
index 931106f..08a87f7 100644
--- a/modules/profile/manifests/etcd/replication.pp
+++ b/modules/profile/manifests/etcd/replication.pp
@@ -43,6 +43,7 @@
monitoring::service{ 'etcd_replication_lag':
description => 'Etcd replication lag',
check_command =>
"check_http_url_for_regexp_on_port!${::fqdn}!${etcdmirror_web_port}!/lag!'^(-1|[0-5])[^0-9]+'",
+ critical => true,
}
}
--
To view, visit https://gerrit.wikimedia.org/r/351323
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I85b4b843177ab72ccb53ade9130c347c537f03bd
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: Alexandros Kosiaris <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
