\n"; print "

Directories

\n"; print "[parent] "; foreach (glob("*") as $filename) { if (is_dir($filename) && ($_SERVER['PHP_AUTH_USER'] == 'gpetrucc' || !preg_match("/^\..*|.*private.*/", $filename))) { print " [$filename]"; } } print ""; } foreach (array("00_README.txt", "README.txt", "readme.txt") as $readme) { if (file_exists($readme)) { print "
\n"; readfile($readme); print "
"; } } ?>

Plots

Filter: >RegExp

\n"; print "

$brfname

"; print ""; $others = array(); foreach ($other_exts as $ex) { $other_filename = str_replace('.png', $ex, $filename); if (file_exists($other_filename)) { array_push($others, "[" . $ex . "]"); if ($ex != '.txt') array_push($displayed, $other_filename); } } if ($others) print "

Also as ".implode(', ',$others)."

"; print "
"; } } ?>

Other files