diff options
author | Guy Brand <gb@unistra.fr> | 2013-03-06 14:08:08 +0100 |
---|---|---|
committer | Guy Brand <gb@unistra.fr> | 2013-03-06 14:08:08 +0100 |
commit | 23678e344b4ddcad14254c106ecb93af174fdaa0 (patch) | |
tree | a5c787e4d87313a7fb6f18cb4c78bf210d92d60c /lib/exe/mediamanager.php | |
parent | 847cef0a6bfd2ff9dc54e1fc140f5ba0ece0017a (diff) | |
parent | 5721a1547938df76003c6d91ea003dc1c70abd94 (diff) | |
download | rpg-23678e344b4ddcad14254c106ecb93af174fdaa0.tar.gz rpg-23678e344b4ddcad14254c106ecb93af174fdaa0.tar.bz2 |
Merge branch 'master' into stable
Diffstat (limited to 'lib/exe/mediamanager.php')
-rw-r--r-- | lib/exe/mediamanager.php | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/lib/exe/mediamanager.php b/lib/exe/mediamanager.php index 04dd178cc..53d438321 100644 --- a/lib/exe/mediamanager.php +++ b/lib/exe/mediamanager.php @@ -36,19 +36,16 @@ // do not display the manager if user does not have read access if($AUTH < AUTH_READ && !$fullscreen) { - header('HTTP/1.0 403 Forbidden'); + http_status(403); die($lang['accessdenied']); } - // create the given namespace (just for beautification) - if($AUTH >= AUTH_UPLOAD) { io_createNamespace("$NS:xxx", 'media'); } - // handle flash upload if(isset($_FILES['Filedata'])){ $_FILES['upload'] =& $_FILES['Filedata']; $JUMPTO = media_upload($NS,$AUTH); if($JUMPTO == false){ - header("HTTP/1.0 400 Bad Request"); + http_status(400); echo 'Upload failed'; } echo 'ok'; |