2
0
mirror of https://github.com/boostorg/website.git synced 2026-01-24 18:32:38 +00:00
Files
website/common/code/boost_config.php
Daniel James 2f0ae5b42b Generate home page in advance.
I've tweaked the php so it can be run from the command line, replacing
calls to `virtual` with SSI includes. Use that to generate the home
page. Might do this elsewhere, but would need to automate it. Just doing
the home page for now as it is rarely updated, and must be one of the
most popular pages. The 'recent announcements' at the bottom right are
still dynamically generated - could possibly run php from their cron job
to make them static.

[SVN r64729]
2010-08-10 20:32:05 +00:00

54 lines
1.1 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.
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.
*/
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/grafik/www.boost.org/config.php');
}
break;
default:
{
define('BOOST_CONFIG_FILE',dirname(__FILE__) . '/boost_config_local.php');
}
}
define('ARCHIVE_FILE_PREFIX', '');
require_once(BOOST_CONFIG_FILE);
if(!function_exists('virtual'))
{
function virtual($location) {
echo '<!--#include virtual="', $location, '" -->';
}
}
?>