From 18457a36caf8117941601a4f518694ee39cd09f6 Mon Sep 17 00:00:00 2001
From: YouHaveTrouble <youhavetrouble@youhavetrouble.me>
Date: Fri, 25 Oct 2024 13:35:34 +0200
Subject: [PATCH] stop the server if someone tries to disable the plugin

---
 src/main/java/me/youhavetrouble/enchantio/Enchantio.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/main/java/me/youhavetrouble/enchantio/Enchantio.java b/src/main/java/me/youhavetrouble/enchantio/Enchantio.java
index b4b7d64..523a9ca 100644
--- a/src/main/java/me/youhavetrouble/enchantio/Enchantio.java
+++ b/src/main/java/me/youhavetrouble/enchantio/Enchantio.java
@@ -16,6 +16,8 @@ public final class Enchantio extends JavaPlugin {
 
     @Override
     public void onDisable() {
-        // Plugin shutdown logic
+        if (getServer().isStopping()) return;
+        getLogger().severe("Enchantio is being disabled without a server shutdown. Server will be shut down to prevent issues.");
+        getServer().shutdown();
     }
 }