From 195c524c343600ce4bcb77044ee6a442f8420556 Mon Sep 17 00:00:00 2001
From: sk89q <the.sk89q@gmail.com>
Date: Fri, 31 Dec 2010 01:45:00 -0800
Subject: [PATCH] Made all commands support double forward slashes as the
 command prefix.

---
 src/WorldEditListener.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/WorldEditListener.java b/src/WorldEditListener.java
index 61b76572f..cd3943559 100755
--- a/src/WorldEditListener.java
+++ b/src/WorldEditListener.java
@@ -1972,9 +1972,13 @@ public class WorldEditListener extends PluginListener {
             String searchCmd = split[0].toLowerCase();
 
             if (commands.containsKey(searchCmd)
-                    || (noDoubleSlash && commands.containsKey("/" + searchCmd))) {
+                    || (noDoubleSlash && commands.containsKey("/" + searchCmd))
+                    || ((searchCmd.length() < 3 || searchCmd.charAt(2) != '/')
+                            && commands.containsKey(searchCmd.substring(1)))) {
                 if (noDoubleSlash && commands.containsKey("/" + searchCmd)) {
                     split[0] = "/" + split[0];
+                } else if (commands.containsKey(searchCmd.substring(1))) {
+                    split[0] = split[0].substring(1);
                 }
                 
                 if (canUseCommand(ply, split[0])) {