From df4a29d7d66497cfd36313333e0c69e047dcc083 Mon Sep 17 00:00:00 2001
From: sfan5 <sfan5@live.de>
Date: Sun, 26 May 2013 09:55:03 +0300
Subject: [PATCH] Allow DeOPing disconnected players

---
 src/API/BanAPI.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/API/BanAPI.php b/src/API/BanAPI.php
index f1cd3f978..e9d1d5c12 100644
--- a/src/API/BanAPI.php
+++ b/src/API/BanAPI.php
@@ -138,7 +138,9 @@ class BanAPI{
 				$user = strtolower($params[0]);
 				$player = $this->server->api->player->get($user);
 				if(!($player instanceof Player)){
-					$output .= "Player not connected.\n";
+					$this->ops->set($user, false);
+					$this->ops->save($user);
+					$output .= $user." is not longer op\n";
 					break;
 				}
 				$this->ops->remove($player->iusername);