Dzahn has submitted this change and it was merged. Change subject: ores: enhance monitoring of ores workers ......................................................................
ores: enhance monitoring of ores workers As @halfak writes on T121656, improve monitoring of ORES workers by checking this specific URL besides the main page. Use a timestamp in the URL to make sure we don't pull from cache. Change-Id: I8e3509d78ea0bdad3d533f892a8a6f69f54f75de --- M modules/icinga/manifests/monitor/ores.pp 1 file changed, 10 insertions(+), 1 deletion(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/modules/icinga/manifests/monitor/ores.pp b/modules/icinga/manifests/monitor/ores.pp index 55cc6fd..605a1e6 100644 --- a/modules/icinga/manifests/monitor/ores.pp +++ b/modules/icinga/manifests/monitor/ores.pp @@ -1,4 +1,4 @@ -# Monitoing checks that live in icinga and page people +# monitoring of https://meta.wikimedia.org/wiki/ORES class icinga::monitor::ores { @monitoring::host { 'ores.wmflabs.org': @@ -12,4 +12,13 @@ contact_group => 'team-ores', } + # T121656 + $timestamp = generate('/bin/date', '+%s') + monitoring::service { 'ores_worker': + description => 'ORES worker', + check_command => "check_http_url!ores.wmflabs.org!/scores/testwiki/reverted/${timestamp}", + host => 'ores.wmflabs.org', + contact_group => 'team-ores', + } + } -- To view, visit https://gerrit.wikimedia.org/r/260692 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8e3509d78ea0bdad3d533f892a8a6f69f54f75de Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: Halfak <[email protected]> Gerrit-Reviewer: Yuvipanda <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
