From a7f2798862620dc7886dbe91a59755e2cee3d937 Mon Sep 17 00:00:00 2001
From: EvilSeph <evilseph@gmail.com>
Date: Fri, 5 Aug 2011 14:47:11 -0400
Subject: [PATCH] Made PlayerPortal event fire regardless of allow-nether
 setting.

---
 src/main/java/net/minecraft/server/EntityPlayer.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/java/net/minecraft/server/EntityPlayer.java b/src/main/java/net/minecraft/server/EntityPlayer.java
index 6481e0d05b..c7fa3a1842 100644
--- a/src/main/java/net/minecraft/server/EntityPlayer.java
+++ b/src/main/java/net/minecraft/server/EntityPlayer.java
@@ -229,7 +229,7 @@ public class EntityPlayer extends EntityHuman implements ICrafting {
         }
 
         if (this.E) {
-            if (this.b.propertyManager.getBoolean("allow-nether", true)) {
+            //if (this.b.propertyManager.getBoolean("allow-nether", true)) { // CraftBukkit
                 if (this.activeContainer != this.defaultContainer) {
                     this.y();
                 }
@@ -246,7 +246,7 @@ public class EntityPlayer extends EntityHuman implements ICrafting {
                 }
 
                 this.E = false;
-            }
+            //} // CraftBukkit
         } else {
             if (this.F > 0.0F) {
                 this.F -= 0.05F;