rendered paste body<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<title>jef :: jef's repository</title>
<link rel="shortcut icon" href="img/favicon.ico" />
<link rel="stylesheet" href="http://jef.zycomm.uk.net/res/style.css" type="text/css" media="screen" />
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<meta http-equiv="content-language" content="en-gb" />
<meta http-equiv="imagetoolbar" content="false" />
<meta name="author" content="James Fletcher" />
<meta name="copyright" content="James Fletcher" />
<meta name="mssmarttagspreventparsing" content="true" />
<meta name="robots" content="index, follow, noarchive" />
<meta name="revisit-after" content="7 days" />
</head>
<body>
<div id="header"><h1>jef's repository</h1></div>
<br />
<div id="main">
<?php
echo"<p>stuff in ".$_SERVER['REQUEST_URI']."</p>\n";
echo"<ul>\n";
$dir=$_SERVER['REQUEST_URI'];
if($dir!=='/'){
$str=substr(realpath(dirname(__FILE__).'/../'),25);
echo"<li class=\"back\"><a href=\"http://jef.zycomm.uk.net".$new_str."/\">back</li>";
echo"<br />";
}
$dir=dir('/var/www/localhost/htdocs/'.$dir);
while(false!==($entry=$dir->read())){
if($entry!=='.'&&$entry!=='..'&&$entry!=='index.php'&&$entry!=='res'&&$entry!=='highlight.php'){
$class=pathinfo($entry);
$class=$class['extension'];
$cwd=getcwd();
if(is_dir($cwd.'/'.$entry)){$class='folder';}
if($class=='php'||$class=='html'||$class=='config'||$class=='source'){
if($_SERVER['REQUEST_URI']=='/'){
$file=$entry;
}else{
$file=urlencode(substr($_SERVER['REQUEST_URI'].$entry,1));
}
echo"<li class=\"".$class."\"><a href=\"http://jef.zycomm.uk.net/highlight.php?file=$file\">".$entry."</a></li>\n";
}else{
echo"<li class=\"".$class."\"><a href=\"".$entry."\">".$entry."</li>\n";
}
}
}
?>
</ul>
</div>
</body>
</html>