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 | eaa3b12c4b9b821f20a2864a9881fe46fa4b94cc (patch) | |
| tree | 49616e4480685a3e19c3c717d0bdc9b1c28d1640 /EssentialsGroupManager/src/org/anjocaido | |
| parent | 717b38aad7f8f847da23fe6e1e032ba5f8481437 (diff) | |
| download | Essentials-eaa3b12c4b9b821f20a2864a9881fe46fa4b94cc.tar Essentials-eaa3b12c4b9b821f20a2864a9881fe46fa4b94cc.tar.gz Essentials-eaa3b12c4b9b821f20a2864a9881fe46fa4b94cc.tar.lz Essentials-eaa3b12c4b9b821f20a2864a9881fe46fa4b94cc.tar.xz Essentials-eaa3b12c4b9b821f20a2864a9881fe46fa4b94cc.zip | |
allWorldsDataList now returns fully mirrored worlds whihc are not
identical mirrors (fixes the /manselect list).
Diffstat (limited to 'EssentialsGroupManager/src/org/anjocaido')
| -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); |