-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Replace Redis Stats GUI with the newer Valkey Stats GUI
- Loading branch information
Showing
11 changed files
with
119 additions
and
90 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -17,9 +17,9 @@ | |
/** | ||
* Admin tool "Redis management" - Redis Stats Flush DB stub. | ||
* | ||
* The Redis Stats code which we have placed into lib/redis-stats/redis-stats.php.inc | ||
* The Valkey Stats code which we have placed into lib/valkey-stats/valkey-stats.php.inc | ||
* is calling a file called flushdb.php to flush the Redis DB. | ||
* With this file, we provide a stub at the location where the Redis Stats code expect it to be and include the original file. | ||
* With this file, we provide a stub at the location where the Valkey Stats code expect it to be and include the original file. | ||
* | ||
* @package tool_redis | ||
* @copyright 2020 Alexander Bias, Ulm University <[email protected]> | ||
|
@@ -36,5 +36,5 @@ | |
// Make sure that only admins flush the DB. | ||
require_capability('moodle/site:config', context_system::instance()); | ||
|
||
// Include Redis Stats Flush DB. | ||
require_once($CFG->dirroot.'/'.$CFG->admin.'/tool/redis/lib/redis-stats/flushdb.php.inc'); | ||
// Include Valkey Stats Flush DB. | ||
require_once($CFG->dirroot.'/'.$CFG->admin.'/tool/redis/lib/valkey-stats/flushdb.php.inc'); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -17,9 +17,9 @@ | |
/** | ||
* Admin tool "Redis management" - Redis Stats configuration file | ||
* | ||
* The Redis Stats code which we have placed into lib/redis-stats/redis-stats.php.inc | ||
* The Valkey Stats code which we have placed into lib/valkey-stats/valkey-stats.php.inc | ||
* is looking for a file called config.php and includes this file. | ||
* In this file, we can set the configuration of Redis Stats. | ||
* In this file, we can set the configuration of Valkey Stats. | ||
* | ||
* @package tool_redis | ||
* @copyright 2020 Alexander Bias, Ulm University <[email protected]> | ||
|
@@ -28,7 +28,7 @@ | |
|
||
defined('MOODLE_INTERNAL') || die(); | ||
|
||
// Get the Redis server(s) configuration from the MUC configuration and provide it in a way as Redis Stats expects it. | ||
// Get the Redis server(s) configuration from the MUC configuration and provide it in a way as Valkey Stats expects it. | ||
// | ||
// Servers are defined as an array | ||
// [ Name, IP/Socket, Port, Password ] | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.