function http_302($uri, $message = 'Permanently Moved')
{
global $_SERVER;
if (!@$_SERVER['FCGI_ROLE']) {
http_status(302, $message);
}
/*
if($uri{0} == '/') {
$uri = "http://".$_SERVER['HTTP_HOST'].($_SERVER['HTTP_PORT'] != 80 ? ":".$_SERVER['HTTP_PORT'] : "").$uri;
}
*/
/*
while(ob_get_level()) ob_end_clean();
phpinfo();
exit();
*/
header("Location: {$uri}");
ob_exit();
}
print "</dl>";
} elseif ($action == 'info') {
print "SCRIPT_NAME = " . $_SERVER['SCRIPT_NAME'];
print "PHP_SELF = " . $_SERVER['PHP_SELF'];
phpinfo();
} elseif (succeeds($page = wiki_load($pagename, $version))) {
if (isset($page['mtime']) and $action != 'edit') {
header("Last-Modified: " . gmdate('r', $page['mtime']));
}
if ($action == 'view') {
if (WIKI_TRACK_VERSIONS and isset($_COOKIE['autodiff'])) {
if ($seen_versions[$pagename] and !$initialpage) {
$initialversion = $seen_versions[$pagename];
if (rcs_cmpver($initialversion, $real_version) == -1) {
http_302($_SERVER['SCRIPT_NAME'] . $PATH_INFO . ";{$initialversion}:Current");
ob_exit();
}
}
$seen_versions[$pagename] = $real_version;
setcookie('versions', serialize($seen_versions), time() + 30 * 24 * 60 * 60, '/');
}
if (isset($_GET['as']) and $_GET['as'] == 'text/plain') {
while (ob_get_level()) {
ob_end_clean();
}
header('Content-type: text/plain');
print $page['body'];
exit;
}
if (isset($initialpage)) {
/*
