+# 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