Mirrors/FastAsyncWorldEdit
3
0
Fork 1
Mirror von https://github.com/IntellectualSites/FastAsyncWorldEdit.git synchronisiert 2024-12-26 02:50:06 +01:00
Code Issues Projekte Releases Wiki Aktivität

Whitespace police

Quellcode durchsuchen
Dieser Commit ist enthalten in:
Wizjany 2011-08-10 17:02:56 -04:00
Ursprung 7b306160d7
Commit 46e37017bf
1 geänderte Dateien mit 32 neuen und 42 gelöschten Zeilen
Statistiken anzeigen Patch-Datei herunterladen Vergleichs-Datei herunterladen Alle Dateien ausklappen Alle Dateien einklappen

36
src/main/java/com/sk89q/worldedit/commands/SelectionCommands.java
Datei anzeigen

@ -53,25 +53,19 @@ public class SelectionCommands {
Vector pos; Vector pos;
if(args.argsLength() == 1) if (args.argsLength() == 1) {
{ if (args.getString(0).matches("-?\\d+,-?\\d+,-?\\d+")) {
if(args.getString(0).matches("-?\\d+,-?\\d+,-?\\d+"))
{
String[] coords = args.getString(0).split(","); String[] coords = args.getString(0).split(",");
pos = new Vector(Integer.parseInt(coords[0]), pos = new Vector(Integer.parseInt(coords[0]), Integer.parseInt(coords[1]), Integer.parseInt(coords[2]));
Integer.parseInt(coords[1]), } else {
Integer.parseInt(coords[2]));
}
else
{
player.printError("Invalid coordinates " + args.getString(0)); player.printError("Invalid coordinates " + args.getString(0));
return; return;
} }
} else {
pos = player.getBlockIn();
} }
else pos = player.getBlockIn();
if (!session.getRegionSelector(player.getWorld()) if (!session.getRegionSelector(player.getWorld()).selectPrimary(pos)) {
.selectPrimary(pos)) {
player.printError("Position already set."); player.printError("Position already set.");
return; return;
} }
@ -93,25 +87,21 @@ public class SelectionCommands {
throws WorldEditException { throws WorldEditException {
Vector pos; Vector pos;
if(args.argsLength() == 1) if(args.argsLength() == 1) {
{ if(args.getString(0).matches("-?\\d+,-?\\d+,-?\\d+")) {
if(args.getString(0).matches("-?\\d+,-?\\d+,-?\\d+"))
{
String[] coords = args.getString(0).split(","); String[] coords = args.getString(0).split(",");
pos = new Vector(Integer.parseInt(coords[0]), pos = new Vector(Integer.parseInt(coords[0]),
Integer.parseInt(coords[1]), Integer.parseInt(coords[1]),
Integer.parseInt(coords[2])); Integer.parseInt(coords[2]));
} } else {
else
{
player.printError("Invalid coordinates " + args.getString(0)); player.printError("Invalid coordinates " + args.getString(0));
return; return;
} }
} else {
pos = player.getBlockIn();
} }
else pos = player.getBlockIn();
if (!session.getRegionSelector(player.getWorld()) if (!session.getRegionSelector(player.getWorld()).selectSecondary(pos)) {
.selectSecondary(pos)) {
player.printError("Position already set."); player.printError("Position already set.");
return; return;
} }