htdocs/index.php
changeset 15 5e2d1514ccd0
parent 11 b3fec7467c05
child 20 e2f6e3af9959
--- a/htdocs/index.php	Sat Oct 11 23:09:13 2008 +0000
+++ b/htdocs/index.php	Sat Oct 11 20:28:32 2008 -0400
@@ -26,7 +26,7 @@
         <?php
         $tz_display = str_replace('_', ' ', str_replace('/', ': ', $tz));
         echo 'Time zone: ' . $tz_display . ' [<a href="changetz.php">change</a>]<br />';
-        echo '<small>The time now is ' . date('H:i:s') . '.<br />Statistics last written to disk at ' . date('H:i:s', filemtime('../stats-data.php')) . '.</small>';
+        echo '<small>The time now is ' . date('H:i:s') . '.<br />Statistics last written to disk at ' . date('H:i:s', stats_last_updated()) . '.</small>';
         ?>
       </p>
       <p>