Mattflaschen has uploaded a new change for review.

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


Change subject: Add simple script to dump Redis database for debugging.
......................................................................

Add simple script to dump Redis database for debugging.

Change-Id: Ie6dd37c563f23ed66d8dcb4928af332f141d98bd
---
A maintenance/dump_redis.php
1 file changed, 39 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/GettingStarted 
refs/changes/43/60343/1

diff --git a/maintenance/dump_redis.php b/maintenance/dump_redis.php
new file mode 100755
index 0000000..eb8bf9f
--- /dev/null
+++ b/maintenance/dump_redis.php
@@ -0,0 +1,39 @@
+<?php
+
+/**
+ * Dumps Redis information for GettingStarted.
+ * Intended primarily for debugging in test environments.
+ *
+ * It may result in a large amount of information in production.
+ *
+ * @author Ori Livneh <o...@wikimedia.org>
+ * @author Matthew Flaschen <mflasc...@wikimedia.org>
+ */
+
+$IP = getenv( 'MW_INSTALL_PATH' );
+if( $IP === false ) {
+       $IP = __DIR__ . '/../../..';
+}
+
+require_once "$IP/maintenance/Maintenance.php";
+
+class DumpRedis extends Maintenance {
+       public function execute() {
+               require_once __DIR__ . '/../GettingStarted.php';
+
+               $client = RedisCategorySync::getClient();
+               $keys = $client->keys( 'RedisCategorySync*' );
+               foreach ( $keys as $key ) {
+                       $this->output( "$key\n" );
+                       $this->output( 
"===========================================================\n" );
+                       $members = $client->sMembers( $key );
+                       foreach ( $members as $ind => $el ) {
+                               $this->output( "$ind) \"$el\"\n" );
+                       }
+                       $this->output( "\n" );
+               }
+       }
+}
+
+$maintClass = 'DumpRedis';
+require_once( RUN_MAINTENANCE_IF_MAIN );

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie6dd37c563f23ed66d8dcb4928af332f141d98bd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GettingStarted
Gerrit-Branch: master
Gerrit-Owner: Mattflaschen <mflasc...@wikimedia.org>

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

Reply via email to