minecraft/Essentials
1
0
Fork 0
mirror of https://github.com/essentials/Essentials.git synced 2025-08-10 00:28:22 +02:00
Code Issues Releases Wiki Activity

No need for a new array.

Browse Source
This commit is contained in:
ElgarL
2012-09-25 20:39:24 +01:00
parent 25646b55bf
commit 15f71ea45d
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/WorldDataHolder.java
View File

@@ -1026,9 +1026,7 @@ public class WorldDataHolder {
synchronized (ph.getUsers()) {
// A sorted list of users.
ArrayList<String> names = new ArrayList<String>(new TreeSet<String>(ph.getUsers().keySet()));
for (String userKey : names) {
for (String userKey : new TreeSet<String>(ph.getUsers().keySet())) {
User user = ph.getUsers().get(userKey);
if ((user.getGroup() == null || user.getGroup().equals(ph.getDefaultGroup())) && user.getPermissionList().isEmpty() && user.getVariables().isEmpty() && user.isSubGroupsEmpty()) {
continue;