mirror of
https://github.com/EngineHub/WorldEdit.git
synced 2024-12-27 05:00:08 +08:00
Fixed some NPE's for block types not in BlockType.
This commit is contained in:
parent
4c05050d73
commit
04803de8b1
@ -563,10 +563,11 @@ public static void distr(CommandContext args, WorldEdit we,
|
||||
}
|
||||
|
||||
for (Countable<Integer> c : distribution) {
|
||||
BlockType block = BlockType.fromID(c.getID());
|
||||
String str = String.format("%-7s (%.3f%%) %s #%d",
|
||||
String.valueOf(c.getAmount()),
|
||||
c.getAmount() / (double)size * 100,
|
||||
BlockType.fromID(c.getID()).getName(), c.getID());
|
||||
block == null ? "Unknown" : block.getName(), c.getID());
|
||||
player.print(str);
|
||||
|
||||
if (args.hasFlag('c')) {
|
||||
|
@ -38,10 +38,11 @@ public boolean actPrimary(ServerInterface server, LocalConfiguration config,
|
||||
|
||||
LocalWorld world = clicked.getWorld();
|
||||
BaseBlock block = (new EditSession(world, 0)).rawGetBlock(clicked);
|
||||
BlockType type = BlockType.fromID(block.getType());
|
||||
|
||||
player.print("\u00A79@" + clicked + ": " + "\u00A7e"
|
||||
+ "#" + block.getType() + "\u00A77" + " ("
|
||||
+ BlockType.fromID(block.getType()).getName() + ") "
|
||||
+ (type == null ? "Unknown" : type.getName()) + ") "
|
||||
+ "\u00A7f"
|
||||
+ "[" + block.getData() + "]" + " (" + world.getBlockLightLevel(clicked) + "/" + world.getBlockLightLevel(clicked.add(0, 1, 0)) + ")");
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user