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

Require PHP 7.2, bump PocketMine-MP version to 1.7dev

Browse Source
This commit is contained in:
Dylan K. Taylor
2017-08-31 20:27:05 +01:00
parent b9c4a65307
commit ddfe828445
5 changed files with 19 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/pocketmine/Worker.php
View File

@ -61,7 +61,7 @@ abstract class Worker extends \Worker{
}
}
public function start(int $options = PTHREADS_INHERIT_ALL){
public function start(?int $options = \PTHREADS_INHERIT_ALL){
ThreadManager::getInstance()->add($this);
if(!$this->isRunning() and !$this->isJoined() and !$this->isTerminated()){