From 08be51dc23f627c1cb333786e8e35953a702e7df Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Thu, 26 Jul 2018 10:40:28 +0100
Subject: [PATCH] Clear permissions on server reload

---
 src/pocketmine/Server.php                       | 1 +
 src/pocketmine/permission/PermissionManager.php | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index 3ee7a1e040..7caf08906d 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -1963,6 +1963,7 @@ class Server{
 
 		$this->pluginManager->disablePlugins();
 		$this->pluginManager->clearPlugins();
+		PermissionManager::getInstance()->clearPermissions();
 		$this->commandMap->clearCommands();
 
 		$this->logger->info("Reloading properties...");
diff --git a/src/pocketmine/permission/PermissionManager.php b/src/pocketmine/permission/PermissionManager.php
index 5812cce01b..b1a701164f 100644
--- a/src/pocketmine/permission/PermissionManager.php
+++ b/src/pocketmine/permission/PermissionManager.php
@@ -212,4 +212,10 @@ class PermissionManager{
 	public function getPermissions() : array{
 		return $this->permissions;
 	}
+
+	public function clearPermissions() : void{
+		$this->permissions = [];
+		$this->defaultPerms = [];
+		$this->defaultPermsOp = [];
+	}
 }