0.9.6 config.inc.php changes

if($base_path==""||$base_url=="") {
$a = explode("/manager",str_replace("\\","/",dirname($_SERVER["PHP_SELF"])));

	
if(empty($base_path)||empty($base_url)||$_REQUEST['base_path']||$_REQUEST['base_url']) {
$a = explode("/manager",str_replace("\\","/",dirname($_SERVER['SCRIPT_NAME'])));

     
        if (!defined('MODX_BASE_PATH')) define('MODX_BASE_PATH', $base_path);
        if (!defined('MODX_BASE_URL')) define('MODX_BASE_URL', $base_url);
        if (!defined('MODX_SITE_URL')) define('MODX_SITE_URL', $site_url);
        if (!defined('MODX_MANAGER_PATH')) define('MODX_MANAGER_PATH', $base_path.'manager/');
        if (!defined('MODX_MANAGER_URL')) define('MODX_MANAGER_URL', $site_url.'manager/');

<?php
	// automatically assign base_path and base_url
	if(empty($base_path)||empty($base_url)||$_REQUEST['base_path']||$_REQUEST['base_url']) {
    
        // assign base_path
        $base_path = realpath(dirname(__FILE__).DIRECTORY_SEPARATOR.'..'.DIRECTORY_SEPARATOR.'..').DIRECTORY_SEPARATOR;
        $base_path = str_replace('\\','/',$base_path);
        if($base_path{strlen($base_path)-1}!='/') $base_path.= '/';

                // strip appended paths
        $base_url = !empty($_SERVER['PHP_SELF']) ? $_SERVER['PHP_SELF'] : $_SERVER['REQUEST_URI'];
        $base_url = str_replace('\\','/',$base_url);
        $truncate = strpos($base_url, !empty($_SERVER['SCRIPT_FILENAME']) ? basename($_SERVER['SCRIPT_FILENAME']) : '.php');
        if($truncate!==false) $base_url = substr($base_url, 0, $truncate);
            
        // walk trough url until we reach our base directory
        $base_url_tokens = explode('/', $base_url);
        while(count($base_url_tokens)>0) { 
          $base_url = implode('/', $base_url_tokens);
          if(preg_match('/'.preg_quote($base_url, '/').'[\/|]$/', $base_path)) break;
          array_pop($base_url_tokens);
        }
        
        if($base_url{strlen($base_url)-1}!='/') $base_url.= '/';
        
        // assign site_url
		$site_url = ((isset($_SERVER['HTTPS']) && strtolower($_SERVER['HTTPS'])=='on') || $_SERVER['SERVER_PORT']==$https_port)? 'https://' : 'http://';
		$site_url .= $_SERVER['HTTP_HOST'];
		if($_SERVER['SERVER_PORT']!=80) $site_url = str_replace(':'.$_SERVER['SERVER_PORT'],'',$site_url); // remove port from HTTP_HOST 
		$site_url .= ($_SERVER['SERVER_PORT']==80 || (isset($_SERVER['HTTPS']) && strtolower($_SERVER['HTTPS'])=='on') || $_SERVER['SERVER_PORT']==$https_port)? '':':'.$_SERVER['SERVER_PORT'];
		$site_url .= $base_url;
	}