diff options
author | ElgarL <ElgarL@palmergames.com> | 2012-10-01 12:05:49 +0100 |
---|---|---|
committer | ElgarL <ElgarL@palmergames.com> | 2012-10-01 12:05:49 +0100 |
commit | 778f5649c8c0b3be9cc379f61c0a767959ebdbcd (patch) | |
tree | 6b4c6a2f961d303838be652d49d02fb9a786eb08 /EssentialsGroupManager/src/org/anjocaido/groupmanager | |
parent | 920e1a3b1fa29ba1a49060820c668ad68ccfa5a3 (diff) | |
download | Essentials-778f5649c8c0b3be9cc379f61c0a767959ebdbcd.tar Essentials-778f5649c8c0b3be9cc379f61c0a767959ebdbcd.tar.gz Essentials-778f5649c8c0b3be9cc379f61c0a767959ebdbcd.tar.lz Essentials-778f5649c8c0b3be9cc379f61c0a767959ebdbcd.tar.xz Essentials-778f5649c8c0b3be9cc379f61c0a767959ebdbcd.zip |
allWorldsDataList now returns fully mirrored worlds whihc are not
identical mirrors (fixes the /manselect list).
Diffstat (limited to 'EssentialsGroupManager/src/org/anjocaido/groupmanager')
-rw-r--r-- | EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java b/EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java index f84262eeb..92fec7737 100644 --- a/EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java +++ b/EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java @@ -692,7 +692,7 @@ public class WorldsHolder { /** * Returns all physically loaded worlds which have at least - * one of their own data sets for users or groups. + * one of their own data sets for users or groups which isn't an identical mirror. * * @return ArrayList<OverloadedWorldHolder> of all loaded worlds */ @@ -700,7 +700,7 @@ public class WorldsHolder { ArrayList<OverloadedWorldHolder> list = new ArrayList<OverloadedWorldHolder>(); for (OverloadedWorldHolder data : worldsData.values()) { - if ((!list.contains(data)) && (!mirrorsGroup.containsKey(data.getName().toLowerCase()) || !mirrorsUser.containsKey(data.getName().toLowerCase()))) { + if ((!list.contains(data))) { // && (!mirrorsGroup.containsKey(data.getName().toLowerCase()) || !mirrorsUser.containsKey(data.getName().toLowerCase()))) { String worldNameLowered = data.getName().toLowerCase(); String usersMirror = mirrorsUser.get(worldNameLowered); |