Diff for /FreeBSD/tinderbox2/webui/inc_tinderbox.php.dist between versions 1.3 and 1.4

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

Removed from v.1.3  
changed lines
  Added in v.1.4