<html>
<head>
<title>Update-Site</title>
</head>
<body>
<div style="max-width: 900px;">
<hr />
<img src="http://download.eclipse.org/eclipse.org-common/themes/Nova/images/eclipse.png" style="float: right; "/>
<h1>This is an Eclipse Update Site</h1>
To install the software hosted on this site, please use the Eclipse Update Manager.<br/>
To learn how to install software from an update site, please carefully read <a href="http://help.eclipse.org/indigo/index.jsp?topic=/org.eclipse.platform.doc.user/tasks/tasks-127.htm">Adding a new software site</a> from Eclipse Online-Help and follow the instructions there.
<br style="clear: both;" />
<hr />
</div>
<?php
$pathElements = array_key_exists('dir', $_GET) ? preg_split("/\//", $_GET['dir']) : array();
if(array_key_exists('list', $_GET)||array_key_exists('dir', $_GET)) printDir($pathElements, 0);
function printDir($pathElements, $pathDepth) {
$rootdir = getDirectory($pathElements, $pathDepth);
$files = readFiles("./".$rootdir);
$dirs = readDirectories("./".$rootdir);
sort($files);
sort($dirs);
echo "<ul>";
foreach($dirs as $dir) {
echo '<li><a href="?dir='.$rootdir.$dir.'">'.$dir.'/</a></li>';
if(count($pathElements) > $pathDepth && $dir == $pathElements[$pathDepth]) {
printDir($pathElements, $pathDepth+1);
}
}
foreach($files as $file) {
echo '<li>'.$file.'</li>';
}
echo "</ul>";
}
function printIndent($depth) {
for($i=0; $i<$depth; $i++)
echo " ";
}
function getDirectory($pathElements, $pathDepth) {
$dir = "";
for($i=0; $i<$pathDepth; $i++) {
$dir .= $pathElements[$i]."/";
}
return $dir;
}
function readDirectories($dir) {
$dirs = array();
if ($handle = opendir($dir)) {
while (false !== ($file = readdir($handle))) {
if($file == "." || $file=="..")
continue;
if(is_dir($dir.$file))
$dirs[] = $file;
}
}
return $dirs;
}
function readFiles($dir) {
$files = array();
if ($handle = opendir($dir)) {
while (false !== ($file = readdir($handle))) {
if($file == "." || $file=="..")
continue;
if(is_file($dir.$file) && !preg_match("/.*\.php/", $file))
$files[] = $file;
}
}
return $files;
}
?>
</body>
</html>