fix accidental pruning of serverOfficial

unimined · Jul 31, 2024 · 0ed1f8e · 0ed1f8e
1 parent de60883
commit 0ed1f8e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/mapping/kotlin/xyz/wagyourtail/unimined/internal/mapping/MappingsProvider.kt b/src/mapping/kotlin/xyz/wagyourtail/unimined/internal/mapping/MappingsProvider.kt
@@ -181,6 +181,7 @@ class MappingsProvider(project: Project, minecraft: MinecraftConfig, subKey: Str
                 EnvType.JOINED -> {
                     mapNamespace("client", "clientOfficial")
                     mapNamespace("server", "serverOfficial")
+                    provides("serverOfficial" to false)
                     requires("clientOfficial")
                 }
             }
@@ -307,6 +308,8 @@ class MappingsProvider(project: Project, minecraft: MinecraftConfig, subKey: Str
                     EnvType.JOINED -> {
                         mapNamespace("client", "clientOfficial")
                         mapNamespace("server", "serverOfficial")
+                        requires("clientOfficial")
+                        provides("serverOfficial" to false)
                     }
                 }
             }