Filippo Giunchedi has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/256422

Change subject: mediawiki: alarm on session loss and bad tokens
......................................................................

mediawiki: alarm on session loss and bad tokens

Bug: T108985
Change-Id: I3b88f9a6f96cf89761ce8f5bd9f6b826db3ac9a7
---
M modules/mediawiki/manifests/monitoring/graphite.pp
1 file changed, 20 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/22/256422/1

diff --git a/modules/mediawiki/manifests/monitoring/graphite.pp 
b/modules/mediawiki/manifests/monitoring/graphite.pp
index 1f0b346..d67c867 100644
--- a/modules/mediawiki/manifests/monitoring/graphite.pp
+++ b/modules/mediawiki/manifests/monitoring/graphite.pp
@@ -26,4 +26,24 @@
         nagios_critical => false
         # this will be enabled shortly if we don't see false positives
     }
+
+    # MediaWiki is reporting edit failures due to session loss
+    monitoring::graphite_threshold { 'mediawiki_failure_session_loss':
+        description     => 'MediaWiki edit failures due to session loss',
+        metric          => 'MediaWiki.edit.failures.session_loss.count',
+        from            => '15min',
+        warning         => 30,
+        critical        => 50,
+        percentage      => 70,
+    }
+
+    # MediaWiki is reporting edit failures due to bad token
+    monitoring::graphite_threshold { 'mediawiki_failure_bad_token':
+        description     => 'MediaWiki edit failures due to bad token',
+        metric          => 'MediaWiki.edit.failures.bad_token.count',
+        from            => '15min',
+        warning         => 30,
+        critical        => 50,
+        percentage      => 70,
+    }
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/256422
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I3b88f9a6f96cf89761ce8f5bd9f6b826db3ac9a7
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to