/usr/share/doc/courier-doc/htmldoc/index.html is in courier-doc 0.68.2-1ubuntu7.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 | <?php
$server_name=$_SERVER['SERVER_NAME'];
$uri=$_SERVER['REQUEST_URI'];
if (strlen($uri) == 0)
{
$uri="/";
}
if (strlen($server_name) != 0)
{
$uri="//" . $server_name . $uri;
if (strlen($_SERVER['HTTPS']) != 0)
{
$uri="https:" . $uri;
}
else
{
$uri="http:" . $uri;
}
}
$pos=strrpos($uri, "/");
if ($pos != false && substr($uri, $pos) == "/index.html")
{
$uri=substr($uri, 0, $pos);
$filename=""; /* chop off /index.html and redirect here */
}
else
{
$filename=$_SERVER['QUERY_STRING'];
if (strpos($filename, "/") != false)
{
$filename="";
}
if (!$filename)
{
readfile("index2.html");
return;
}
if ($pos != false)
{
$uri=substr($uri, 0, $pos);
}
}
header("Location: $uri/$filename\n");
echo "";
$lt=chr(0x3e);
$gt=chr(0x3c);
echo "${lt}html${gt}${lt}body${gt}This page has moved to ${lt}a href='$uri/$filename'${gt}$uri/$filename${lt}/a${gt}${lt}/body${gt}${lt}/html${gt}\n";
return;
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN">
<html>
<head>
<title>Document moved</title>
</head>
<body>
<p>This page has moved. <a href="index2.html">Click here</a></p>
</body>
</html>
|