From d228e0c311a1311addf73a07a2c8ac1cf7c3b97b Mon Sep 17 00:00:00 2001
From: Forsaken <darkmaster87@gmx.de>
Date: Wed, 2 Feb 2011 04:37:07 +0800
Subject: [PATCH] Fixed the onDisable() event of plugins again after it was
 overwritten some days ago.

---
 src/main/java/net/minecraft/server/MinecraftServer.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/main/java/net/minecraft/server/MinecraftServer.java b/src/main/java/net/minecraft/server/MinecraftServer.java
index fca5b9d4e8..7ef0a446d4 100644
--- a/src/main/java/net/minecraft/server/MinecraftServer.java
+++ b/src/main/java/net/minecraft/server/MinecraftServer.java
@@ -163,6 +163,11 @@ public class MinecraftServer implements ICommandListener, Runnable {
 
     private void g() {
         a.info("Stopping server");
+        // CraftBukkit
+        if(server != null) {
+            server.disablePlugins();
+        }
+        
         if (this.f != null) {
             this.f.d();
         }