Dzahn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/260692
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(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/92/260692/1
diff --git a/modules/icinga/manifests/monitor/ores.pp
b/modules/icinga/manifests/monitor/ores.pp
index 55cc6fd..4f8e3f2 100644
--- a/modules/icinga/manifests/monitor/ores.pp
+++ b/modules/icinga/manifests/monitor/ores.pp
@@ -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: newchange
Gerrit-Change-Id: I8e3509d78ea0bdad3d533f892a8a6f69f54f75de
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
