mirror/WorldEdit
2
0
Fork 0
mirror of https://github.com/EngineHub/WorldEdit.git synced 2024-12-27 05:00:08 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix WECUI not working for players when rejoining the server. Closes #196.

Browse Source
This commit is contained in:
zml2008 2012-06-14 10:49:38 -07:00
parent 16a90d1b70
commit 3104b73682
2 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/com/sk89q/worldedit/bukkit/CUIChannelListener.java
View File

@ -39,7 +39,7 @@ public CUIChannelListener(WorldEditPlugin plugin) {
@Override @Override
public void onPluginMessageReceived(String channel, Player player, byte[] message) { public void onPluginMessageReceived(String channel, Player player, byte[] message) {
LocalSession session = plugin.getSession(player); LocalSession session = plugin.getSession(player);
if (session.hasCUISupport()) { // Already initialized if (session.hasCUISupport() && plugin.hasPluginChannelCUI(player.getName())) { // Already initialized
return; return;
} }

17
src/main/java/com/sk89q/worldedit/bukkit/WorldEditPlugin.java
View File

@ -25,7 +25,9 @@
import java.io.IOException; import java.io.IOException;
import java.io.InputStream; import java.io.InputStream;
import java.util.HashMap; import java.util.HashMap;
import java.util.HashSet;
import java.util.Map; import java.util.Map;
import java.util.Set;
import java.util.jar.JarFile; import java.util.jar.JarFile;
import java.util.zip.ZipEntry; import java.util.zip.ZipEntry;
@ -73,7 +75,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Stores players who are using plugin channels for the cui * Stores players who are using plugin channels for the cui
*/ */
private final Map<String, Boolean> pluginChannelCui = new HashMap<String, Boolean>(); private final Set<String> pluginChannelCui = new HashSet<String>();
/** /**
* Called on plugin enable. * Called on plugin enable.
@ -391,15 +393,14 @@ public void setSelection(Player player, Selection selection) {
} }
public void setPluginChannelCUI(String name, boolean value) { public void setPluginChannelCUI(String name, boolean value) {
pluginChannelCui.put(name, value); if (value) {
pluginChannelCui.add(name);
} else {
pluginChannelCui.remove(name);
}
} }
public boolean hasPluginChannelCUI(String name) { public boolean hasPluginChannelCUI(String name) {
Boolean val = pluginChannelCui.get(name); return pluginChannelCui.contains(name);
if (val == null) {
return false;
} else {
return val;
}
} }
} }