fixed XML error handler for server command

2025-01-16 17:01:14 +08:00
parent 03ee75266d
commit a8670277e7
9 changed files with 22 additions and 295 deletions
@@ -19,7 +19,6 @@ import org.w3c.dom.TypeInfo
 import java.nio.file.Paths

 object Parser {
-
    fun parse(document: Document): Configuration {
        val root = document.documentElement
        val anonymousUser = User("", null, emptySet())