Update WG support to latest builds; resolves #175

This commit is contained in:
Daniel Saukel
2019-01-12 16:43:46 +01:00
parent 5b0945732d
commit 8294e928bc
2 changed files with 6 additions and 6 deletions
@@ -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