mirror of
https://github.com/boostorg/website.git
synced 2026-01-23 18:12:16 +00:00
68 lines
1.4 KiB
PHP
68 lines
1.4 KiB
PHP
<?php
|
|
/*
|
|
Copyright 2005-2007 Redshift Software, Inc.
|
|
Distributed under the Boost Software License, Version 1.0.
|
|
(See accompanying file LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt)
|
|
*/
|
|
|
|
/*
|
|
BOOST_CONFIG_FILE
|
|
Path to local configuration, as a PHP source file.
|
|
|
|
BOOST_RSS_DIR
|
|
Path to directory with RSS feeds from Gmane.
|
|
|
|
BOOST_DATA_DIR
|
|
Path to directory containing data files and repos from cron jobs.
|
|
|
|
ARCHIVE_PREFIX
|
|
Partial path for Boost release archives, the ZIP versions.
|
|
|
|
UNZIP
|
|
Unzip program to use to extract files from ZIPs.
|
|
|
|
ARCHIVE_FILE_PREFIX
|
|
Prefix for the root directory in the Boost ZIP archives.
|
|
|
|
STATIC_DIR
|
|
Path to static copies of boost.
|
|
*/
|
|
|
|
switch (isset($_SERVER['HTTP_HOST']) ? $_SERVER['HTTP_HOST'] : '')
|
|
{
|
|
case 'boost.org':
|
|
case 'www.boost.org':
|
|
case 'live.boost.org':
|
|
case 'beta.boost.org':
|
|
{
|
|
define('BOOST_CONFIG_FILE','/home/www/shared/config.php');
|
|
}
|
|
break;
|
|
|
|
default:
|
|
{
|
|
define('BOOST_CONFIG_FILE',dirname(__FILE__) . '/boost_config_local.php');
|
|
}
|
|
}
|
|
|
|
define('ARCHIVE_FILE_PREFIX', '');
|
|
|
|
if (is_file(BOOST_CONFIG_FILE)) { require_once(BOOST_CONFIG_FILE); }
|
|
|
|
if(!function_exists('virtual'))
|
|
{
|
|
function virtual($location) {
|
|
echo '<!--#include virtual="', $location, '" -->';
|
|
}
|
|
}
|
|
|
|
if (!defined('STATIC_DIR')) {
|
|
define('STATIC_DIR', dirname(__FILE__).'/../../doc/archives');
|
|
}
|
|
|
|
if (!defined('BOOST_DATA_DIR')) {
|
|
define('BOOST_DATA_DIR', dirname(__FILE__).'/../../data');
|
|
}
|
|
|
|
?>
|