Tom: $PHPSESSID ??

Beitrag lesen

Hello,

sämtliche noch registrierte Sessions findest Du üblicherweise im Directory

session.save_path (siehe php.ini)

Dort legt PHP die Sessiondateien unter dem Namen "sess_*****" ab Die ***** stehen für die Session-ID. Unter welchem Variablennamen (Cookienamen) die Session-ID dem Client mitgeteilt wird, wird in

session.name      (siehe php.ini)

eingestellt und kann mit der Funktion session_name() scripttemporär VOR dem Aufruf von session_start() beeinflusst werden.

Wenn Du wissen willst, wie alt eine Session ist, solltest Du dich mit den Listfunktionen des OS auseinandersetzen. Linux bietet dafür die drei Zeiten

ctime
mtime
atime

im ls-Befehl als Option.

Mit PHP kann man diese Zeiten mittels

filectime()
filemtime()
fileatime()
http://de2.php.net/manual/de/function.filectime.php

abfragen.

Ob der User aber gerade aktiv ist, lässt sich mit PHP-Mitteln nicht so einfach feststellen, da ein Request und die Antwort darauf mesitens innerhalb weniger Millisekunden abgewickelt ist.

Liebe Grüße aus http://www.braunschweig.de

Tom

--
Fortschritt entsteht nur durch die Auseinandersetzung der Kreativen