res/server-error.inc

   1 <?php
   2 /* This is for the rare cases where we can't even get the normal error handler set up */
   3 header('HTTP/1.1 500 Internal Server Error');
   4 header('Content-Type: application/xhtml+xml');
   5 set_exception_handler('balls');
   6
   7 function balls($e)
   8 { ?>
   9 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
  10 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-GB">
  11 <head>
  12 <title>Error</title>
  13 <link rel="stylesheet" href="css/default" type="text/css"/>
  14 </head>
  15 <body>
  16 <h1>Server Error</h1>
  17 <p><?php echo $e->getMessage() ?></p>
  18 </body>
  19 </html>
  20 <?php exit(1); } ?>