Upstream/LuckPerms
1
0
Fork 0
mirror of https://github.com/LuckPerms/LuckPerms.git synced 2024-12-29 12:37:40 +01:00
Code Issues Projects Releases Wiki Activity

Fix bug with duplicated users in editor (lucko/LuckPermsWeb#235)

Browse Source
This commit is contained in:
Luck 2020-05-13 11:19:35 +01:00
parent dbe07827bd
commit 918ea7503a
No known key found for this signature in database
GPG Key ID: EFA9B3EC5FD90F8B
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
common/src/main/java/me/lucko/luckperms/common/commands/misc/EditorCommand.java
View File

@ -49,9 +49,10 @@ import net.luckperms.api.query.QueryOptions;
import java.util.ArrayList;
import java.util.Comparator;
import java.util.LinkedHashSet;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Set;
import java.util.Map;
import java.util.UUID;
public class EditorCommand extends SingleCommand {
private static final int MAX_USERS = 1000;
@ -92,23 +93,24 @@ public class EditorCommand extends SingleCommand {
}
if (type.includingUsers) {
// include all online players
Set<User> users = new LinkedHashSet<>(plugin.getUserManager().getAll().values());
Map<UUID, User> users = new LinkedHashMap<>(plugin.getUserManager().getAll());
// then fill up with other users
if (type.includingOffline && users.size() < MAX_USERS) {
plugin.getStorage().getUniqueUsers().join().stream()
.filter(uuid -> !users.containsKey(uuid))
.sorted()
.limit(MAX_USERS - users.size())
.forEach(uuid -> {
User user = plugin.getStorage().loadUser(uuid, null).join();
if (user != null) {
holders.add(user);
users.put(uuid, user);
}
plugin.getUserManager().getHouseKeeper().cleanup(uuid);
});
}
users.stream()
users.values().stream()
.sorted(Comparator
.<User>comparingInt(u -> u.getCachedData().getMetaData(QueryOptions.nonContextual()).getWeight(MetaCheckEvent.Origin.INTERNAL))
.thenComparing(User::getFormattedDisplayName, String.CASE_INSENSITIVE_ORDER)