1
This repository has been archived on 2023-03-26. You can view files and clone it, but cannot push or open issues or pull requests.
download-manager/index.php
2015-06-14 18:08:23 +01:00

14 lines
464 B
PHP

<?php
require "property-manager.php"; // Initialise properties
require "file_information.php";
$properties = load_properties();
$file_name = $_GET[$properties["file QS"]] or die("No querystring given.");
if (file_exists($file_name)) {$GLOBALS["file"] = generate_file_object($file_name);}
else {die("File '$file_name' does not exist!");}
header("Content Type: text/html");
?>
<html><head><title><?php echo($properties["html title"]);?></title>
</head>
</html>