From 8294e928bc63914c7d86d33dc30604af8b4d3807 Mon Sep 17 00:00:00 2001 From: Daniel Saukel Date: Sat, 12 Jan 2019 16:43:46 +0100 Subject: [PATCH] Update WG support to latest builds; resolves #175 --- pom.xml | 10 +++++----- src/com/dre/brewery/integration/WGBarrel7.java | 2 +- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/pom.xml b/pom.xml index 28b4c47..8c82f9a 100644 --- a/pom.xml +++ b/pom.xml @@ -4,7 +4,7 @@ com.dre brewery - 1.7 + 1.7.1 Brewery @@ -33,7 +33,7 @@ maven-compiler-plugin - 3.7.0 + 3.8.0 1.8 1.8 @@ -43,7 +43,7 @@ org.apache.maven.plugins maven-shade-plugin - 3.1.1 + 3.2.1 package @@ -170,7 +170,7 @@ com.sk89q.worldedit worldedit-bukkit - 7.0.0-SNAPSHOT + 7.0.0-beta-02 provided @@ -182,7 +182,7 @@ com.sk89q.worldedit worldedit-core - 7.0.0-SNAPSHOT + 7.0.0-beta-02 provided diff --git a/src/com/dre/brewery/integration/WGBarrel7.java b/src/com/dre/brewery/integration/WGBarrel7.java index 529602f..83b1d23 100644 --- a/src/com/dre/brewery/integration/WGBarrel7.java +++ b/src/com/dre/brewery/integration/WGBarrel7.java @@ -23,7 +23,7 @@ public class WGBarrel7 implements WGBarrel { WorldGuardPlugin wg = (WorldGuardPlugin) plugin; WorldGuardPlatform platform = WorldGuard.getInstance().getPlatform(); - World world = platform.getWorldByName(spigot.getWorld().getName()); + World world = platform.getMatcher().getWorldByName(spigot.getWorld().getName()); if (!platform.getGlobalStateManager().get(world).useRegions) return true; // Region support disabled WorldEditPlugin we = JavaPlugin.getPlugin(WorldEditPlugin.class); if (new RegionPermissionModel(we.wrapPlayer(player)).mayIgnoreRegionProtection(world)) return true; // Whitelisted cause