From 1b227153a99e1aaabc39dc845ad65b446e2084d9 Mon Sep 17 00:00:00 2001
From: JWhy <jwhy@jwhy.de>
Date: Sun, 26 Jan 2014 13:21:51 +0100
Subject: [PATCH] /op command: Show usage info if no user specified

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

diff --git a/src/API/BanAPI.php b/src/API/BanAPI.php
index 1ee8821ea..7dcd2a814 100644
--- a/src/API/BanAPI.php
+++ b/src/API/BanAPI.php
@@ -145,6 +145,10 @@ class BanAPI{
 				break;
 			case "op":
 				$user = strtolower($params[0]);
+				if($user == NULL){
+				  $output .= "Usage: /op <player>\n";
+				  break;
+				}
 				$player = $this->server->api->player->get($user);
 				if(!($player instanceof Player)){
 					$this->ops->set($user);