generatePdf($buffer, $_GET["file"], "D")) {
echo "Failed parsing file:".$_GET["file"]."
";
}
}
else {
$files = addDir("examples");
foreach ($files as $file) {
echo(''.$file.'
');
}
}
function addDir($dirname) {
$dir = dir($dirname);
$files = array();
while ($file = $dir->read()) {
if($file != "." && $file != "..") {
if (!is_dir($dirname."/".$file)) {
$path_parts = pathinfo($file);
if ($path_parts['extension'] == "xml" ||
$path_parts['extension'] == "fo") {
$files[] = $dirname . "/" . $file;
}
}
else {
$files += addDir($dirname."/".$file);
}
}
}
$dir->close();
asort($files);
return $files;
}
?>