[php] Time() Problem

[Martin Holzhauer]

Carsten Kaestner wrote:
> Hi Martin,
> 
> On Sun, 7 Sep 2003 12:39:40 +0200
> "Martin Holzhauer" <wood-worker at gmx.net> wrote:
> 
>> Und hier nochmal der code der Datei die die session zeit überprüft.
>> 
>> <?php
>> $config['life_time']=30*60;
>> 
>> if( isset($_SESSION['dg_user']['user_id']) &&
>> $_SESSION['time']>=time()-$config['life_time'] ) {
>> 	return true;
>> }
>> else
>> {
>> 	session_destroy();
>> 	//nur ausgaben von HTML ohne Variablen
>> 	exit();
>> 
>> }
>>> 
> 
> Also habe das gleiche mal auf meinem Server probiert (php 4.2.3) und
> da scheint das zu funkionieren. 
> 
> Bist du dir ganz sicher das es an diesem "schnippsel" liegt und nicht
> irgendwo anders ein fehler drin is???? 
> 

Ich weiss das dieser auschnitt eigentlich alles richtig ist.
Aber wo anders kann der fehler ja leider nicht liegen

Deswegen wundert es mich ja auch und vorallem des es auf winodws
Funktioniert aber nicht auf linux.?