Plexus/Plex-FAWE
1
0
Fork 0
mirror of https://github.com/plexusorg/Plex-FAWE.git synced 2025-07-07 05:03:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Cleanup

Browse Source
This commit is contained in:
TomyLobo
2011-11-23 02:29:48 +01:00
parent 1a57f6e95d
commit 7e13b60a51
161 changed files with 1433 additions and 1412 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/main/java/com/sk89q/worldedit/commands/HistoryCommands.java
View File

@ -50,7 +50,7 @@ public class HistoryCommands {
} else {
player.checkPermission("worldedit.history.undo.other");
LocalSession sess = we.getSession(args.getString(1));
if (sess == null){
if (sess == null) {
player.printError("Unable to find session for " + args.getString(1));
break;
}
@ -65,7 +65,7 @@ public class HistoryCommands {
}
}
}
@Command(
aliases = { "/redo", "redo" },
usage = "[times] [player]",
@ -79,7 +79,7 @@ public class HistoryCommands {
throws WorldEditException {
int times = Math.max(1, args.getInteger(0, 1));
for (int i = 0; i < times; ++i) {
EditSession redone;
if (args.argsLength() < 2) {
@ -87,7 +87,7 @@ public class HistoryCommands {
} else {
player.checkPermission("worldedit.history.redo.other");
LocalSession sess = we.getSession(args.getString(1));
if (sess == null){
if (sess == null) {
player.printError("Unable to find session for " + args.getString(1));
break;
}