Immagino sia dovuto al fatto che Admin Tools vada a fare il truncate della tabella delle sessioni di Joomla, che però nel caso di Redis è vuota perché le sessioni sono in un diverso DB.
Più che la segnalazione di un bug, quello che vorrei proporre è di far fare ad Admin Tool un check per vedere se le sessioni sono o meno su Redis.
In caso positivo il tasto "purge sessions", invece che svuotare la tabella di mysql, dovrebbe lanciare il comando al DB Redis, cancellando tutte le "key" di sessione memorizzate.
A questo indirizzo si trovano le funzioni implementate per Redis Session Cache, magari vi possono essere d'aiuto.
https://github.com/joomla/joomla-cms/commit/f5ea450a33a9296b2a81b7b53656c65ef766ea3f
Introdurre questa funzionalità è fondamentale, perché anche il plugin di sistema di Akeeba (quello dove si può settare ogni quanti minuti svuotare le cache, le sessioni, la cartella tmp, ecc.) non funziona se c'è Redis.
Grazie mille!
Simone Bussoni