--- gui/errordocs/index.php	2005-05-23 11:50:52.000000000 +0200
+++ gui/errordocs/index.php.fixed	2005-11-24 04:17:14.000000000 +0100
@@ -20,9 +20,9 @@
 		  <table width="600" height="200" border="00" cellpadding="1" cellspacing="3" bgcolor="#FF0000">
             <tr>
               <td align="center" bgcolor="#FFFFFF"></strong>
-			  <h2><font color="#FF0000">Error <?php print $_SERVER['REDIRECT_STATUS'];?>!</font></h2>
+			  <h2><font color="#FF0000">Error <?php print htmlspecialchars($_SERVER['REDIRECT_STATUS']);?>!</font></h2>
                 <br/>
-                <b><?php print $_SERVER['REDIRECT_URL'];?></b><br>
+                <b><?php print htmlspecialchars($_SERVER['REDIRECT_URL']);?></b><br>
                 <?php
                     switch ($_SERVER['REDIRECT_STATUS']) {
                         case 401: