<?php 

//
// This is "File not found" (404) handler for PHP scripts, which
// triggers dynamic replication of missing PHP scripts
//
// (c) Columbia University, 2004-2006, All Rights Reserved.
// Author: Weibin Zhao
//

function dots_setenv($query)
{
    global $uri;

    $pairs = array();
    $pair = strtok($query, "&");
    while ($pair) {
        array_push($pairs, $pair);
        $pair = strtok("&");
    }
    $pair = array_pop($pairs);
    while ($pair) {
        $var = strtok($pair, "=");
        $val = strtok("=");
        $var = preg_replace("/%([0-9A-Fa-f]{2})/e", "chr(hexdec('\\1'))", $var);
        $val = preg_replace("/%([0-9A-Fa-f]{2})/e", "chr(hexdec('\\1'))", $val);
        $_GET["$var"] = $val;
        $pair = array_pop($pairs);
    }
//  error_log("$query  $uri", 0);
}

function dots_php_script($uri) 
{
    $len  = strlen($uri);
    if ($len > 4) {
        if (strcasecmp(substr($uri, $len - 4), ".php") == 0) {
            return true;
        }
    } 
    return false;
}

function dots_not_found($uri)
{
    echo "File not found: $uri \n";
    return;
}

$script_root = $_SERVER['SCRIPT_ROOT'];
$uri = $_SERVER['REQUEST_URI'];
$uri_path  = strtok($uri, "?");
$uri_query = strtok("?");
// error_log("log: uri=$uri, uri_path=$uri_path, uri_query=$uri_query :end", 0);

// not triggered by DotSlash
if ($script_root == "" || !dots_php_script($uri_path)) { 
    dots_not_found($uri);
    return;
}

header("HTTP/1.1 200 OK");

set_error_handler("dots_err_handler");
if (!function_exists("dots_call_back")) {
    function dots_call_back($file) { include($file); }
}

$file = $script_root . "/" . $_SERVER['ORIG_SERV'] . $uri_path;
dots_include($file, $uri_path, $uri_query);
?>