mirror of
https://github.com/PaperMC/Paper.git
synced 2025-01-06 08:17:44 +01:00
Fix world unload toLowercase - Fixes #3326
This commit is contained in:
parent
61142982e0
commit
c6b756d121
@ -115,7 +115,7 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000
|
|||||||
- console.worldServer.remove(handle.getWorldProvider().getDimensionManager());
|
- console.worldServer.remove(handle.getWorldProvider().getDimensionManager());
|
||||||
+ // Paper start
|
+ // Paper start
|
||||||
+ DimensionManager dimensionManager = handle.getWorldProvider().getDimensionManager();
|
+ DimensionManager dimensionManager = handle.getWorldProvider().getDimensionManager();
|
||||||
+ DimensionManager.unregister(world.getName(), dimensionManager);
|
+ DimensionManager.unregister(world.getName().toLowerCase(java.util.Locale.ENGLISH), dimensionManager);
|
||||||
+ console.worldServer.remove(dimensionManager);
|
+ console.worldServer.remove(dimensionManager);
|
||||||
+ // Paper end
|
+ // Paper end
|
||||||
return true;
|
return true;
|
||||||
|
Loading…
Reference in New Issue
Block a user