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

Changed the sessions map to index by player name as a string.

Browse Source
This commit is contained in:
sk89q 2011-01-27 09:51:23 -08:00
parent dbd6c48cee
commit 06c25e2c88
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/com/sk89q/worldedit/WorldEdit.java
View File

@ -62,8 +62,8 @@ public class WorldEdit {
* without any WorldEdit abilities or never use WorldEdit in a session will
* not have a session object generated for them.
*/
private HashMap<LocalPlayer,LocalSession> sessions =
new HashMap<LocalPlayer,LocalSession>();
private HashMap<String,LocalSession> sessions =
new HashMap<String,LocalSession>();
/**
* List of commands. These are checked when the command event is called, so
@ -189,8 +189,8 @@ private void populateCommands() {
* @return
*/
public LocalSession getSession(LocalPlayer player) {
if (sessions.containsKey(player)) {
return sessions.get(player);
if (sessions.containsKey(player.getName())) {
return sessions.get(player.getName());
}
LocalSession session = new LocalSession();
@ -223,7 +223,7 @@ public LocalSession getSession(LocalPlayer player) {
|| !player.hasPermission("worldeditunlimited")));
// Remember the session
sessions.put(player, session);
sessions.put(player.getName(), session);
return session;
}
@ -235,7 +235,7 @@ public LocalSession getSession(LocalPlayer player) {
* @return
*/
public boolean hasSession(LocalPlayer player) {
return sessions.containsKey(player);
return sessions.containsKey(player.getName());
}
/**
@ -1866,7 +1866,7 @@ public CuboidClipboard.FlipDirection getFlipDirection(
* @param player
*/
public void removeSession(LocalPlayer player) {
sessions.remove(player);
sessions.remove(player.getName());
}
/**