kostenloser Webspace werbefrei: lima-city

PHP letztes ändern der Datei (wann?)

lima-city → Forum → Programmiersprachen → PHP, MySQL & .htaccess

1. Autor dieses Themas

   a******9

   15:50, 27.7.2005

   Moinsen!
   Wie kann ich mit PHP Feststellen, wann das letzte mal eine bestimmte Datei (z.b. "test.txt" ) ge?ndert wurde?
   Ich wei?, dass es geht, aber nicht wie.
   K?nnt ihr mir weiter helfen?

2. Diskutiere mit und stelle Fragen: Jetzt kostenlos anmelden!

   lima-city: Gratis werbefreier Webspace für deine eigene Homepage

3. c*********c

   16:14, 27.7.2005

   $zeit = filemtime("test.txt");
   
   print($zeit);

   
   
   So sollte das funktionieren!
   
   Beitrag ge?ndert am 27.07.2005 16:18 von compactdisc
4. Autor dieses Themas

   a******9

   16:29, 27.7.2005

   Naja so ist es noch als TimeStamp...
   Aber jetzt ahb ich es so:
   

   function letzteaenderung($file) {
   $timestamp = filemtime($file);
     $datum = date("d.m.Y",$timestamp);
     $uhrzeit = date("H:i",$timestamp);
     echo $datum," - ",$uhrzeit," Uhr";
   
   }

   
   
   und das geht

5. s******n

   16:49, 27.7.2005

   hmmmm das bringt mich auf ne ideeeeee
   
   damit k?nnte man aus einem cms (flatfiler) die Artikel ?berpr?fen, ob sie aktuell sind, und dann die ?berschriften als ticker ausgeben....
   
   andy, danke, dass du diesen thread aufgemacht hast!
   
6. Autor dieses Themas

   a******9

   16:50, 27.7.2005

   Bite sch?n.
   Ich brauch das auch zu was ?hnlichem.
   Es ?berpr?ft, wann das letzte mal ein text upgadatet wurde.!

7. lucas9991

   

   lucas9991 hat kostenlosen Webspace.

   18:25, 28.7.2005

   
   Naja so ist es noch als TimeStamp...
   Aber jetzt ahb ich es so:
   

   function letzteaenderung($file) {
   $timestamp = filemtime($file);
     $datum = date("d.m.Y",$timestamp);
     $uhrzeit = date("H:i",$timestamp);
     echo $datum," - ",$uhrzeit," Uhr";
   
   }

   
   
   und das geht
   

   
   Kleiner Tipp.
   Schreib es doch so, dann sparst du ein wenig performace. ^^
   
   

   function letzteaenderung($file) {
   $timestamp = filemtime($file);
     $datum = date("d.m.Y, H:i",$timestamp);
     echo $datum." Uhr";
   
   }

8. Diskutiere mit und stelle Fragen: Jetzt kostenlos anmelden!

   lima-city: Gratis werbefreier Webspace für deine eigene Homepage

Dir gefällt dieses Thema?