webserver.php
changeset 10 d3059e20b0fa
parent 6 5f35ebc4f9bb
child 12 b3fcc21e557f
--- a/webserver.php	Mon Mar 24 00:12:21 2008 -0400
+++ b/webserver.php	Mon Mar 24 02:53:42 2008 -0400
@@ -599,7 +599,7 @@
   {
     echo '<div style="border: 1px solid #AA0000; background-color: #FFF0F0; padding: 10px;">';
     echo "<b>PHP warning/error:</b> type $errno ($errstr) caught in <b>$errfile</b> on <b>$errline</b><br />";
-    echo "Error context:<pre>" . htmlspecialchars(print_r($errcontext, true)) . "</pre>";
+    // echo "Error context:<pre>" . htmlspecialchars(print_r($errcontext, true)) . "</pre>";
     echo '</div>';
   }