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

PluginManager: fixed crash when using a plugin-loader plugin (read: devtools)

Browse Source 
closes #4518
This commit is contained in:
Dylan K. Taylor 2021-10-28 15:55:05 +01:00
parent 0ef5c67b9b
commit bb05af103d
No known key found for this signature in database
GPG Key ID: 8927471A91CAFD3D
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/plugin/PluginManager.php
View File

@ -41,7 +41,7 @@ use pocketmine\timings\TimingsHandler;
use pocketmine\utils\AssumptionFailedError;
use pocketmine\utils\Utils;
use Webmozart\PathUtil\Path;
use function array_diff_assoc;
use function array_diff_key;
use function array_key_exists;
use function array_keys;
use function array_merge;
@ -355,7 +355,7 @@ class PluginManager{
$this->server->getLogger()->debug("Plugin $name registered a new plugin loader during load, scanning for new plugins");
$plugins = $triage->plugins;
$this->triagePlugins($path, $triage, $diffLoaders);
$diffPlugins = array_diff_assoc($triage->plugins, $plugins);
$diffPlugins = array_diff_key($triage->plugins, $plugins);
$this->server->getLogger()->debug("Re-triage found plugins: " . implode(", ", array_keys($diffPlugins)));
}
}