diff options
| author | KHobbits <rob@khobbits.co.uk> | 2012-11-11 14:54:19 +0000 |
|---|---|---|
| committer | KHobbits <rob@khobbits.co.uk> | 2012-11-11 14:54:19 +0000 |
| commit | f52e0ae7a8cff550f30707da8172dd501e84b7c6 (patch) | |
| tree | 19e299af5da1aee1d7df2f92f672e616def904e7 /EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds | |
| parent | 0d610f761b7981f885f07c523cf8d7c2cdf8ea35 (diff) | |
| parent | a370a8e01c7814d4b5fc3f4db7ee45dd5a248f60 (diff) | |
| download | Essentials-f52e0ae7a8cff550f30707da8172dd501e84b7c6.tar Essentials-f52e0ae7a8cff550f30707da8172dd501e84b7c6.tar.gz Essentials-f52e0ae7a8cff550f30707da8172dd501e84b7c6.tar.lz Essentials-f52e0ae7a8cff550f30707da8172dd501e84b7c6.tar.xz Essentials-f52e0ae7a8cff550f30707da8172dd501e84b7c6.zip | |
Merge branch 'groupmanager' of github.com:essentials/Essentials into 2.9
Diffstat (limited to 'EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds')
| -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); |