separated properly client disconnect from server shutdown allowing for retaining carpet settings till world is gone. Fixes #854

src/main/java/carpet/CarpetServer.java

@@ -188,6 +188,9 @@ public class CarpetServer implements ClientModInitializer,DedicatedServerModInit
 
         // this for whatever reason gets called multiple times even when joining;
         TickSpeed.reset();
+    }
+    public static void onServerDoneClosing(MinecraftServer server)
+    {
         settingsManager.detachServer();
     }
 

src/main/java/carpet/mixins/MinecraftServer_coreMixin.java

@@ -50,6 +50,12 @@ public abstract class MinecraftServer_coreMixin
         CarpetServer.onServerClosed((MinecraftServer) (Object) this);
     }
 
+    @Inject(method = "shutdown", at = @At("TAIL"))
+    private void serverDoneClosed(CallbackInfo ci)
+    {
+        CarpetServer.onServerDoneClosing((MinecraftServer) (Object) this);
+    }
+
     @Inject(method = "prepareStartRegion", at = @At("RETURN"))
     private void afterSpawnCreated(WorldGenerationProgressListener worldGenerationProgressListener, CallbackInfo ci)
     {

src/main/java/carpet/network/CarpetClient.java

@@ -36,10 +36,14 @@ public class CarpetClient
     }
 
     public static void disconnect()
+    {
+        if (isServerCarpet)
         {
             isServerCarpet = false;
             clientPlayer = null;
             CarpetServer.onServerClosed(null);
+            CarpetServer.onServerDoneClosing(null);
+        }
     }
 
     public static void setCarpet()