mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-09-06 09:56:06 +00:00
Code Issues Projects Releases Wiki Activity

Fixed DevTools plugin related issues

Browse Source
This commit is contained in:
Shoghi Cervantes Pueyo
2013-03-05 13:26:10 +01:00
parent 8c32b3d896
commit 3b2a7e68f3
4 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/functions.php
View File

@ -207,7 +207,6 @@ function console($message, $EOL = true, $log = true, $level = 1){
}
function fatal_handler($errno, $errstr, $errfile, $errline){
global $lasttrace;
console("[ERROR] A level ".$errno." error happened: \"$errstr\" in \"$errfile\" at line $errline", true, true, 0);
return false;
}