mirror of
https://github.com/plan-player-analytics/Plan.git
synced 2025-01-12 15:56:00 +08:00
Sorting ignores now the case
This commit is contained in:
parent
21aec1fb6d
commit
bcd008cbbe
@ -145,7 +145,7 @@ public class DumpUtils {
|
|||||||
List<String> plugins = Arrays.stream(server.getPluginManager().getPlugins())
|
List<String> plugins = Arrays.stream(server.getPluginManager().getPlugins())
|
||||||
.map(Plugin::getDescription)
|
.map(Plugin::getDescription)
|
||||||
.map(description -> description.getName() + " " + description.getVersion())
|
.map(description -> description.getName() + " " + description.getVersion())
|
||||||
.sorted()
|
.sorted(String::compareToIgnoreCase)
|
||||||
.collect(Collectors.toList());
|
.collect(Collectors.toList());
|
||||||
|
|
||||||
log.addHeader("Server Details");
|
log.addHeader("Server Details");
|
||||||
|
Loading…
Reference in New Issue
Block a user