Vor allem ist das Finden aller Sessions eines Users gar nicht so leicht, die sind ja über ihre Session-ID geschlüsselt
Hm. Im Falle einer Session-Datei kann man z.B. greppen - das geht überraschend schnell (Beispiel)
root@mini:~# time sessFiles=$(grep -Rn ':"adm";' /foo/sessions/* | cut -d ':' -f1)
real 0m0,007s
user 0m0,007s
sys 0m0,003s
root@mini:~# echo $sessFiles
/foo/sessions/sess_92g9osrebbrbehu8c814t7l58b
/foo/sessions/sess_rifjrn9i01talq4s2qfigmn9s8
/foo/sessions/sess_t31l584r7ftcogpvnj6gkef91q
root@mini:~# rm -f $sessFiles;
(Pfade sind angepasst, Zeiten nicht) Ich weiß ja nicht, was das media-wiki macht und wie viele tausend Dateien auf dem Server durchsucht werden müssten.
Ist es ein Datenbankeintrag sollte das Löschen noch schneller gehen.