<?php
    $pathname = dirname(__FILE__);
    $dirname = basename($pathname);
    $cachefile = "/disk/trump/icache/_cache_" . str_replace("/", "_", $pathname);
?>
<html>
<head>
<title>Listing: <?php echo $dirname; ?></title>
</head>
<body>
<!--
<?php
    echo "<pre>";
    echo "pathname = ${pathname}\n";
    echo "dirname = ${dirname}\n";
    echo "cachefile= ${cachefile}\n";
    echo "directory mtime = " . filemtime(".") . "\n";
    echo "cachefile mtime = " . filemtime($cachefile) . "\n";
    echo "</pre>";
?>
<hr />
-->
<h1>Listing: <?php echo $dirname; ?></h1>
<pre>
<a href="../">parent directory</a><br />
last modified       size             filename
<?php
    if (!file_exists($cachefile) || filemtime($cachefile) < filemtime(".")) {
	// echo "cache file expired\n";
	
	if (!$fp = fopen($cachefile, 'w')) {
	    echo "Cannot open file ($cachefile)";
	    exit;
	}
	
	foreach (glob("*") as $filename) {
            if ($filename != "_cache.php") {
	        $d = date("Y-m-d H:i:s", filemtime($filename));
	        $s = str_pad(filesize($filename), 10, " ", STR_PAD_LEFT);
	        if (is_dir($filename)) {
		    $filename = $filename . "/";
	        }
	        $l = "<a href=${filename} alt=${filename}>$filename</a>";
	        fwrite($fp, $d . " " . $s . " bytes " . $l . "\n");
            }
	}
	
	fclose($fp);
    }
    readfile($cachefile);
?>
</pre>
<hr />
<span class="credits">the cat</span>
</body>
</html>
