<?php
///////////////////////////////////////////////////////////////////////////////
// defs.html
//
// Modification History
// --------------------
//   22 Sep 1999   IC   Initial Creation
//
// Purose
// ------
//   To provide path definitions and generic functions for all pages.
//
// Notes
// -----
// 
// Interface
// ---------
//   defsThisDir(Filename)
//   defsThisFile(Fielname)
//
///////////////////////////////////////////////////////////////////////////////

$_DEFS_PHP       = 1;

///////////////////////////////////////////////////////////////////////////////
// CONSTANTS                                                                 //
///////////////////////////////////////////////////////////////////////////////

$defsINFO        = "Root defs";

// Colors
$defsFORECOLOR   = "#006633";
$defsDIMCOLOR    = "#0F300F";
$defsBACKCOLOR   = "#000000";
$defsBRIGHTCOLOR = "#CCBB44";

$defsHEADCOLOR   = "#FFFFEE";
$defsTEXTCOLOR   = "#FFFFCC";
$defsLINKCOLOR   = "#FFFF88";

$IE  = false;    // Browser is IE
$NS  = false;    // Browser is Netsacpe
$IE4 = false;	 // Browser is IE ver 4 or above
$NS4 = false;	 // Browser is Netscape ver 4 or above
$VE4 = false;	 // Browser is ver 4 or above

///////////////////////////////////////////////////////////////////////////////
// GLOBAL CODE                                                               //
///////////////////////////////////////////////////////////////////////////////

// Detect browser type

$HTTP_USER_AGENT = GetEnv(HTTP_USER_AGENT);
$SERVER_PORT = GetEnv(SERVER_PORT);
$HTTP_REFERER = GetEnv(REFERER);

$HTTP_USER_AGENT = GetEnv(HTTP_USER_AGENT);
if (!isset($HTTP_USER_AGENT))
{
	$HTTP_USER_AGENT = "none";
}

if (preg_match("#MSIE ([0-9]+)#", $HTTP_USER_AGENT, $version))
{
	$IE = true;

	$ver = (int)$version[1];
	if ($ver >= 4)
	{
		$IE4 = true;
		$VE4 = true;
	}
}
elseif (preg_match("#Mozilla/([0-9]+)#", $HTTP_USER_AGENT, $version))
{
	$NS = true;

	$ver = (int)$version[1];
	if ($ver >= 4)
	{
		$NS4 = true;
		$VE4 = true;
	}
}

///////////////////////////////////////////////////////////////////////////////
// PUBLIC FUNCTIONS                                                          //
///////////////////////////////////////////////////////////////////////////////

///////////////////////////////////////////////////////////////////////////////
// defsThisDir
//	 Extracts the directory relative to the WEBROOT from the passed __FILE__
// 
// Parameters:
//   $filename  The vaule of __FILE__ in the calling file
//
// Returns:
//   string     the directory relative to the WEBROOT
//
function defsThisDir($filename)
{
	global $lclFILEROOT;

	if(preg_match("#^/#", filename))
	{
		preg_match("#$lclFILEROOT/(.*)/[^/]*$#", $filename, $matches);
		return "/" . $matches[1];
	}
	else
	{
		preg_match("#(.*)/[^/]*$#", $filename, $matches);
		return $matches[1];
	}
}

///////////////////////////////////////////////////////////////////////////////
// defsThisFile
//   Extracts the filename from the end of the passed __FILE__
// 
// Parameters:
//   $filename  The vaule of __FILE__ in the calling file
//
// Returns:
//   string     the filename of the calling file
//
function defsThisFile($filename)
{
	preg_match("#([^/]*)$#", $filename, $matches);

	return $matches[1];
}

///////////////////////////////////////////////////////////////////////////////
// LOCALS                                                                    //
///////////////////////////////////////////////////////////////////////////////

// Bring in the server specific constants
$defsdir = defsThisDir(__FILE__);
if($defsdir)
{
	include("$defsdir/local.html");
}
else
{
	include("local.html");
}

?>