|
Hosted by
 |
<?php
// $Date: 2004/01/14 13:22:55 $
// $Revision: 1.12 $
// $Author: jcrocholl $
require('request.php');
require('frames.php');
$title = $page;
if (!$title) $title = ucfirst($path[count($path) - 2]);
if (!$title) $title = "Roemer";
else $title = "Roemer - $title";
?>
<html>
<head>
<title><?php echo $title ?></title>
<link rel="stylesheet" type="text/css" href="<?php
echo $root;
?>css/style.css"/>
</head>
<body>
<table>
<tr>
<td class="nav" style="padding-right: 8px;">
<?php require('nav.php'); ?>
</td>
<?php
ini_set("include_path", '.:../ada');
// print ini_get("include_path") . "<br/>\n";
$filename = "$fileroot$stem";
// print "[$filename]<br/>\n";
if (is_dir($filename)) {
require('readme.php');
} elseif (file_exists($filename)) {
if (preg_match('/\.php$/', $filename)) {
print "<td class=\"code\">\n";
highlight_file($filename);
print "</td>\n";
} elseif (preg_match('/\.(ads|adb)$/', $filename)) {
require('pretty.php');
}
} elseif (file_exists($filename . '.ads')) {
$filename .= '.ads';
// print "$filename<br/>\n";
require('package.php');
}
?>
</tr>
</table>
</body>
</html>
|
