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

AsyncPool: silence a warning about wrong key type

Browse Source 
getTaskId() returns int|null, although it won't happen after the ID has been set.
This commit is contained in:
Dylan K. Taylor 2020-04-15 12:40:23 +01:00
parent bc985198a0
commit 5571ae05b5
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/pocketmine/scheduler/AsyncPool.php
View File

@ -162,13 +162,14 @@ class AsyncPool{
} }
$task->progressUpdates = new \Threaded; $task->progressUpdates = new \Threaded;
$task->setTaskId($this->nextTaskId++); $taskId = $this->nextTaskId++;
$task->setTaskId($taskId);
$this->tasks[$task->getTaskId()] = $task; $this->tasks[$taskId] = $task;
$this->getWorker($worker)->stack($task); $this->getWorker($worker)->stack($task);
$this->workerUsage[$worker]++; $this->workerUsage[$worker]++;
$this->taskWorkers[$task->getTaskId()] = $worker; $this->taskWorkers[$taskId] = $worker;
$this->workerLastUsed[$worker] = time(); $this->workerLastUsed[$worker] = time();
} }