Redis-Plugin

Das Plugin bindet in die admin-Oberfläche Daten zur Redis-Nutzung ein. Diese werden per INFO-Befehl vom Redis-Server mit den in der Moodle-config hinterlegten Verbindungseinstellungen abgerufen. Alexander Bias hat es entwickelt, GUI mit Statistiken sind erreichbar unter /admin/tool/redis/ 

Admin-Optionen

Das Plugin bietet keine eigene Einstellungen-Seite und ist ein One-Pager. Alle Anzeigen sind lesende Zugriffe. Lediglich der Button "Leeren" ("Flush") unter "Schlüssel/keys" hat eine schreibende Wirkung: Er löst den Befehl FLUSHDB aus, der alle Schlüssel löscht (und damit auch die eigene Session löschen kann). 

Readme für admins: https://github.com/moodle-an-hochschulen/moodle-tool_redis#motivation-for-this-plugin

Features

Eine GUI zeigt Statistiken an (inspiriert von https://github.com/tessus/valkey-stats). Dort sind z.B. Prozentwert der Hits, der über 99% liegen sollte, used und Peak memory sowie Memorylimit (unter "Used Memory", z.B. "/ 3.00 GB") zu sehen. Ab Version v5.2-r3 sind alle Strings sauber auf Deutsch übersetzt.übersetzt (Screenshot unten bei Spracheinstellung "English"). In der unteren Hälfte können unter "Details" weitere Server-Infos aufgeklappt werden: 

Plugin-Repository

Das Redis-Plugin (tool_redis) wird vom Verein gepflegt und ist über diese Links erreichbar: 

https://moodle.org/plugins/tool_redis

https://github.com/moodle-an-hochschulen/moodle-tool_redis

Autor: Klaus Steitz, Technische Universität Darmstadt