Plexus/Plex-FAWE
1
0
Fork 0
mirror of https://github.com/plexusorg/Plex-FAWE.git synced 2024-07-01 06:31:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Allow clean shutdown.

Browse Source 
Rearrange command tables.
This commit is contained in:
wizjany 2019-06-05 14:57:44 -04:00
parent e767dd9888
commit e69aedf059
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
worldedit-core/src/main/java/com/sk89q/worldedit/internal/util/DocumentationPrinter.java
View File

@ -103,6 +103,8 @@ public final class DocumentationPrinter {
printer.writeAllCommands();
writeOutput("commands.rst", printer.cmdOutput.toString());
writeOutput("permissions.rst", printer.permsOutput.toString());
WorldEdit.getInstance().getSessionManager().unload();
}
private static void writeOutput(String file, String output) throws IOException {
@ -427,12 +429,14 @@ public final class DocumentationPrinter {
String name = prefix + command.getName();
String desc = serializer.serialize(command.getDescription());
cmdOutput.append(".. csv-table::\n :widths: 8, 15\n\n");
cmdOutput.append(" ").append(name).append(",\"").append(desc).append("\"\n");
cmdOutput.append(" ").append(name).append(",");
if (!command.getAliases().isEmpty()) {
cmdOutput.append(" Aliases,\"").append(String.join(", ",
command.getAliases().stream().map(a -> prefix + a).collect(Collectors.toSet())))
.append("\"\n");
cmdOutput.append("\"(or ").append(String.join(", ",
command.getAliases().stream().map(a -> prefix + a).collect(Collectors.toSet())))
.append(")\"");
}
cmdOutput.append("\n");
cmdOutput.append(" Description,\"").append(desc).append("\"\n");
if (command.getCondition() instanceof PermissionCondition) {
cmdOutput.append(" Permissions,\"").append(String.join(", ", ((PermissionCondition) command.getCondition()).getPermissions())).append("\"\n");
}