mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-10-18 20:14:31 +00:00
Code Issues Projects Releases Wiki Activity

Added checks

Browse Source
This commit is contained in:
Shoghi Cervantes Pueyo
2013-03-09 12:40:53 +01:00
parent 8bf4b5cafa
commit 84ac13d591
2 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
PocketMine-MP.php
View File

@@ -35,4 +35,5 @@ require_once(FILE_PATH."/src/dependencies.php");
$server = new ServerAPI();
$server->run();
kill(getmypid()); //Fix for segfault