2
0
mirror of https://github.com/boostorg/website.git synced 2026-01-27 19:32:16 +00:00
Files
website/development/webcheck_results.php
Daniel James 3aa079f3fc Copy local changes from server
To have a record of what's actually in use, to make it easier to change them,
and to make updating the website simpler.
2018-02-12 11:06:04 +00:00

16 lines
581 B
PHP

<?php
/*
Copyright 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)
*/
$p=substr($_SERVER["ORIG_PATH_INFO"],1);
if ($p)
{
if (preg_match('@[.](html|htm)$@i',$p)) { header('Content-type: text/html'); }
else if (preg_match('@[.](css)$@i',$p)) { header('Content-type: text/css'); }
else if (preg_match('@[.](js)$@i',$p)) { header('Content-type: application/x-javascript'); }
readfile("/home/grafik/www.boost.org/testing/webcheck/".basename($p));
}
?>