docwrapper.php3 2.35 KB
Newer Older
1 2
<?php
#
3
# Copyright (c) 2005-2013 University of Utah and the Flux Group.
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
# 
# {{{EMULAB-LICENSE
# 
# This file is part of the Emulab network testbed software.
# 
# This file is free software: you can redistribute it and/or modify it
# under the terms of the GNU Affero General Public License as published by
# the Free Software Foundation, either version 3 of the License, or (at
# your option) any later version.
# 
# This file is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Affero General Public
# License for more details.
# 
# You should have received a copy of the GNU Affero General Public License
# along with this file.  If not, see <http://www.gnu.org/licenses/>.
# 
# }}}
23 24 25
#
require("usrpdefs.php3");

26 27 28 29 30 31
#
# Verify page arguments.
#
$reqargs = RequiredPageArguments("docname",    PAGEARG_STRING);
$optargs = OptionalPageArguments("printable",  PAGEARG_BOOLEAN,
				 "title",      PAGEARG_STRING);
32

33 34 35 36
#
# Need to sanity check the path! Allow only [word].{html,txt} files
#
if (!preg_match("/^[-\w]+\.(html|txt)$/", $docname)) {
37
    USERERROR("Illegal document name: $docname!", 1, HTTP_400_BAD_REQUEST);
38 39 40 41 42 43 44
}

#
# Make sure the file exists
#
$fh = @fopen("$docname", "r");
if (!$fh) {
45
    USERERROR("Can't read document file: $docname!", HTTP_404_NOT_FOUND);
46 47
}

48 49
if (!isset($printable))
    $printable = 0;
50 51
if (!isset($title) || $title == "")
     $title = "Emulab Documentation";
52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79

#
# Standard Testbed Header
#
if (!$printable) {
    PAGEHEADER($title, $USRP_MENUDEFS);
}

#
# Check extension. If a .txt file, need some extra wrapper stuff to make
# it look readable.
#
$textfile = 0;
if (preg_match("/^.*\.txt$/", $docname)) {
    $textfile = 1;
}

if ($printable) {
    #
    # Need to spit out some header stuff.
    #
    echo "<html>
          <head>
  	  <link rel='stylesheet' href='../tbstyle-plain.css' type='text/css'>
          </head>
          <body>\n";
}
else {
80
	$REQUEST_URI = $_SERVER["REQUEST_URI"];
81 82 83 84 85 86 87 88
	echo "<b><a href=$REQUEST_URI&printable=1>
                 Printable version of this document</a></b><br>\n";
}

if ($textfile) {
    echo "<XMP>\n";
}

89 90
fpassthru($fh);
fclose($fh);
91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107

if ($textfile) {
    echo "</XMP>\n";
}

#
# Standard Testbed Footer
# 
if ($printable) {
    echo "</body>
          </html>\n";
}
else {
    PAGEFOOTER();
}
?>