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

Line ending cleanup

Browse Source
This commit is contained in:
Shoghi Cervantes Pueyo
2013-01-02 19:41:23 +01:00
parent aafd36859f
commit db1b7ec4f2
2 changed files with 11 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
PocketMine-MP.php
View File

@ -29,24 +29,11 @@ require_once("src/common/dependencies.php");
require_once("classes/PocketMinecraftServer.class.php");
require_once("API/ServerAPI.php");
while(true){
$server = new ServerAPI();
if($server->start() !== true){
break;
}else{
console("[INFO] Cleaning up...");
hard_unset($server);
$excludeList = array("GLOBALS", "_FILES", "_COOKIE", "_POST", "_GET", "excludeList");
foreach(get_defined_vars() as $key => $value){
if(!in_array($key, $excludeList)){
$$key = null;
unset($$key);
}
}
$server = null;
unset($server);
console("[NOTICE] The server is restarting... (".gc_collect_cycles()." cycles collected)", true, true, 0);
}
$server = new ServerAPI();
if($server->start() !== true){
//Stop
}else{
//Restart
}
kill(getmypid());
kill(getmypid()); //Fix for segfault