-function run_php($basename = false) {
- if($basename) {
- $html_file = "$basename.html";
- $php_file = "$basename.php";
- } else {
- $html_file = $_SERVER['REDIRECT_URL'];
- $html_file = ereg_replace('.*/', '', $html_file);
- if($html_file == '') {
- $html_file = 'index.html';
+if(file_exists('code/config.php')) {
+ file_run('code/config.php');
+}
+
+# pass the basename of the page you want for normal execution
+# pass ./page.html to redirect to page.html in this directory
+# pass http://foo.com/bar.html to redirect to a full directory
+function run_php($dest = false) {
+ if($dest) {
+ # if it has a : it must be a full URL, redirect
+ if(strpos($dest, ':')) {
+ redirect($dest);
+ exit();
+ }
+
+ # if it starts with './' then it's a relative URL, redirect
+ if(substr($dest, 0, 2) == './') {
+ redirect(ereg_replace('/[^/]*$', substr($dest, 1), this_url()));
+ exit();
+ }
+
+ # otherwise, it's a normal basename, display that content
+ $basename = $dest;
+
+ } else { # no dest arg
+ $basename = $_SERVER['REDIRECT_URL'];
+ $basename = ereg_replace('.*/', '', $basename);
+ $basename = ereg_replace('\.html$', '', $basename);
+ if($basename == '') {
+ $basename = 'index';