version 1.3, 2007/10/20 17:58:26
|
version 1.4, 2007/10/20 18:22:03
|
Line 1
|
Line 1
|
<?php |
<?php |
# $Paefchen: FreeBSD/tinderbox2/webui/inc_tinderbox.php.dist,v 1.2 2007/10/20 17:33:35 as Exp $ | # $Paefchen: FreeBSD/tinderbox2/webui/inc_tinderbox.php.dist,v 1.3 2007/10/20 17:58:26 as Exp $ |
|
|
# Configurable options |
# Configurable options |
$tinderbox_name = 'Example Tinderbox'; |
$tinderbox_name = 'Example Tinderbox'; |
Line 8 $wwwrootdir = dirname( __FILE__ );
|
Line 8 $wwwrootdir = dirname( __FILE__ );
|
$rootdir = realpath( $wwwrootdir . '/../..' ); |
$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 = $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']; |
$wwwrooturi .= $path; | $wwwrooturi .= dirname( $_SERVER['SCRIPT_NAME'] ); |
$template_dir = 'default'; |
$template_dir = 'default'; |
|
|
# These should probably be left alone |
# These should probably be left alone |