Merge branch 'release/3.2'

This commit is contained in:
Dylan K. Taylor
2018-07-26 14:03:39 +01:00
5 changed files with 38 additions and 6 deletions

View File

@@ -1974,6 +1974,7 @@ class Server{
$this->pluginManager->disablePlugins();
$this->pluginManager->clearPlugins();
PermissionManager::getInstance()->clearPermissions();
$this->commandMap->clearCommands();
$this->logger->info("Reloading properties...");