webserver.php
changeset 10 d3059e20b0fa
parent 6 5f35ebc4f9bb
child 12 b3fcc21e557f
equal deleted inserted replaced
9:63a257541313 10:d3059e20b0fa
   597   
   597   
   598   function function_error_handler($errno, $errstr, $errfile, $errline, $errcontext)
   598   function function_error_handler($errno, $errstr, $errfile, $errline, $errcontext)
   599   {
   599   {
   600     echo '<div style="border: 1px solid #AA0000; background-color: #FFF0F0; padding: 10px;">';
   600     echo '<div style="border: 1px solid #AA0000; background-color: #FFF0F0; padding: 10px;">';
   601     echo "<b>PHP warning/error:</b> type $errno ($errstr) caught in <b>$errfile</b> on <b>$errline</b><br />";
   601     echo "<b>PHP warning/error:</b> type $errno ($errstr) caught in <b>$errfile</b> on <b>$errline</b><br />";
   602     echo "Error context:<pre>" . htmlspecialchars(print_r($errcontext, true)) . "</pre>";
   602     // echo "Error context:<pre>" . htmlspecialchars(print_r($errcontext, true)) . "</pre>";
   603     echo '</div>';
   603     echo '</div>';
   604   }
   604   }
   605   
   605   
   606 }
   606 }
   607 
   607