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

Removed killing php to end the process

Browse Source
This commit is contained in:
Shoghi Cervantes Pueyo
2013-04-03 12:21:12 +02:00
parent e0747a9c44
commit dbc357c266
5 changed files with 6 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
PocketMine-MP.php
View File

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