|
version 1.2, 2007/10/20 17:33:35
|
version 1.4, 2007/10/20 18:22:03
|
|
Line 1
|
Line 1
|
| <?php |
<?php |
| # $Paefchen$ | # $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['dirname']; |
|
| $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 |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to inc_tinderbox.php.dist CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [Paefchen] / FreeBSD / tinderbox2 / webui