FreeBSD/tinderbox2/webui/inc_tinderbox.php.dist - diff

Return to inc_tinderbox.php.dist CVS log

Up to [Paefchen] / FreeBSD / tinderbox2 / webui

version 1.2, 2007/10/20 17:33:35	version 1.3, 2007/10/20 17:58:26
Line 1	Line 1
<?php	<?php
# $Paefchen$	# $Paefchen: FreeBSD/tinderbox2/webui/inc_tinderbox.php.dist,v 1.2 2007/10/20 17:33:35 as Exp $

# Configurable options	# Configurable options
$tinderbox_name = 'Example Tinderbox';	$tinderbox_name = 'Example Tinderbox';
Line 9 $rootdir = realpath( $wwwrootdir . '/../..' );	Line 9 $rootdir = realpath( $wwwrootdir . '/../..' );
$protocol = isset( $_SERVER['HTTPS'] ) ? 'https' : 'http';	$protocol = isset( $_SERVER['HTTPS'] ) ? 'https' : 'http';
$host = $_SERVER['SERVER_NAME'];	$host = $_SERVER['SERVER_NAME'];
$path = pathinfo( $_SERVER['REQUEST_URI'] );	$path = pathinfo( $_SERVER['REQUEST_URI'] );
$path = $path['dirname'];	$path = $path['basename'];
	if (! empty($path))
	$path = '/'.$path;
$wwwrooturi = $protocol . '://' . $host;	$wwwrooturi = $protocol . '://' . $host;
if ($_SERVER['SERVER_PORT'] != 80)	if ($_SERVER['SERVER_PORT'] != 80)
$wwwrooturi .= ':' . $_SERVER['SERVER_PORT'];	$wwwrooturi .= ':' . $_SERVER['SERVER_PORT'];