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

PHP7 changes

Browse Source
This commit is contained in:
Shoghi Cervantes
2015-08-03 09:42:16 +02:00
parent 7f8b39a63c
commit b47cebb1d5
4 changed files with 27 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/pocketmine/Server.php
View File

@ -2039,7 +2039,8 @@ class Server{
$this->properties->save();
$this->getLogger()->debug("Closing console");
$this->console->kill();
$this->console->shutdown();
$this->console->detach();
$this->getLogger()->debug("Stopping network interfaces");
foreach($this->network->getInterfaces() as $interface){