From a1104c327a6dc29035f7ecc74df00cecabf1bf5f Mon Sep 17 00:00:00 2001 From: kremsy Date: Sat, 14 Dec 2013 19:32:45 +0100 Subject: [PATCH] minor things --- application/core/Players/PlayerManager.php | 1 + application/core/Plugins/PluginMenu.php | 5 +++++ 2 files changed, 6 insertions(+) diff --git a/application/core/Players/PlayerManager.php b/application/core/Players/PlayerManager.php index 9c31b8b3..d66b6a79 100644 --- a/application/core/Players/PlayerManager.php +++ b/application/core/Players/PlayerManager.php @@ -142,6 +142,7 @@ class PlayerManager implements CallbackListener { */ public function playerDisconnect(array $callback) { $login = $callback[1][0]; + //TODO check for fakeplayers $player = $this->removePlayer($login); $played = Formatter::formatTimeH(time() - $player->joinTime); diff --git a/application/core/Plugins/PluginMenu.php b/application/core/Plugins/PluginMenu.php index adc530d5..7f1d2e18 100644 --- a/application/core/Plugins/PluginMenu.php +++ b/application/core/Plugins/PluginMenu.php @@ -193,11 +193,16 @@ class PluginMenu implements CallbackListener, ConfiguratorMenu { } if ($enable) { $pluginClass = substr($actionId, strlen(self::ACTION_PREFIX_ENABLEPLUGIN)); + $this->maniaControl->pluginManager->activatePlugin($pluginClass); + $this->maniaControl->log("Admin XY activated plugin " . $pluginClass); } else { $pluginClass = substr($actionId, strlen(self::ACTION_PREFIX_DISABLEPLUGIN)); + $this->maniaControl->pluginManager->deactivatePlugin($pluginClass); //TODO support from manager + $this->maniaControl->log("Admin XY deactivated plugin " . $pluginClass); //Todo adminname } var_dump($pluginClass); + } }