jan/davadmin
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

fixes #16

Browse source 
* all PHP code is documented
 * admin/scripts/*php is added to apidoc and gettext generation in Makefile
This commit is contained in:
Jan Dittberner 2007-12-03 14:11:35 +00:00
parent f6be78bdcf
commit 379fffa19b
5 changed files with 56 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

6
admin/shared.inc.php
View file

@ -30,6 +30,12 @@
/** Include common internationalization code. */
require_once("i18n.inc.php");
/**
* Create a server error with HTTP status code 500 and end script
* execution.
*
* @param string $message error message
*/
function _server_error($message) {
header('HTTP/1.0 500 Internal Server Error');
header('Status: 500 Internal Server Error');