function print_nomatch()
{
global $string1002;
print_htmlbegin("standard");
echo "<table>\n";
echo "<tr><td align=\"justify\">";
echo $string1002;
echo "</td></tr>\n";
echo "</table>\n";
print_htmlend();
}
echo "<a href=\"browse.php?dir={$files[$i]}\">";
echo basename($files[$i]);
echo "</a>";
echo "</td></tr>\n";
}
echo "<tr><td align=\"center\"><hr></td></tr>\n";
echo "<tr><td>" . count($files) . " {$string3}</td></tr>\n";
echo "</table>\n";
print_htmlend();
}
} else {
// Falls nicht gesucht wurde,
// dann wurde auf einen Verzeichnis- oder Dateinamen geklickt.
// Falls auf ein Verzeichnis geklickt wurde, lese den Verzeichnisinhalt aus.
if (is_dir($dir)) {
print_htmlbegin("standard");
$i = $j = 0;
$handler = opendir($dir);
while ($file = readdir($handler)) {
if ($file != '.') {
$file = htmlspecialchars($file);
if (is_dir("{$dir}/{$file}")) {
$dirs[$i] = $file;
$i++;
} else {
$files[$j] = $file;
$j++;
}
}
}
// Gebe den Verzeichnisinhalt aus
function print_description()
{
global $string3;
print_htmlbegin("standard");
echo "<table>\n";
echo "<tr><td align=\"justify\">";
echo $string3;
echo "</td></tr>\n";
echo "</table>\n";
print_htmlend();
}