JasonWoof Got questions, comments, patches, etc.? Contact Jason Woofenden
run.php can't run from wfpl directory because there's no way to find the real DOCUMEN...
authorJason Woofenden <jason183@herkamire.com>
Sat, 23 Dec 2006 17:47:14 +0000 (12:47 -0500)
committerJason Woofenden <jason183@herkamire.com>
Sat, 23 Dec 2006 17:47:14 +0000 (12:47 -0500)
now you have to link it from your directory

run.php

diff --git a/run.php b/run.php
index 1b5b19b..8d8d1df 100644 (file)
--- a/run.php
+++ b/run.php
 
 
 
-# To activate this script in a directory, you'll need to put something like the
-# following in you your .htaccess file (where /foo/ is the part of the url
-# between the hostname and the filename.) The example below would work for this
-# url: http://example.com/foo/bar.html
+# To activate this script in a directory, you'll need to:
+#
+# 1) make a symbolic link to (or copy of) this file in your directory. and
+#
+# 3) Set your webserver to run this script instead of html files. Here's how to
+# do that with apache: put something like the following in you your .htaccess
+# file (where /foo/ is the part of the url between the hostname and the
+# filename.) The example below would work for this url:
+# http://example.com/foo/bar.html
 
 # RewriteEngine  on
 # RewriteBase    /foo/
-# RewriteRule    .*\.html$  /foo/code/wfpl/run.php
+# RewriteRule    .*\.html$  /foo/run.php
 
 function run_php($basename = false) {
        if($basename) {
                $html_file = "$basename.html";
                $php_file = "$basename.php";
        } else {
-
-               # first we must find the file and directory that was actually requested
-               # (before we messed it up with mod_rewrite)
-               $fs_path = $_SERVER['DOCUMENT_ROOT'] . $_SERVER['REDIRECT_URL'];
-               $split = strrpos($fs_path, '/'); # find the last slash
-               $directory = substr($fs_path, 0, $split);
-               $file = substr($fs_path, $split + 1);
-
-               if($file == '') {
-                       $file = 'index.html';
+               $html_file = $_SERVER['REDIRECT_URL'];
+               $html_file = ereg_replace('.*/', '', $html_file);
+               if($html_file == '') {
+                       $html_file = 'index.html';
                }
-
-               chdir($directory);
-               $html_file = $file;
                $php_file = ereg_replace('\.html$', '.php', $html_file);
        }
        if($php_file != $html_file && file_exists($php_file)) {