docs(api): add missing default port value for localhost server

This commit is contained in:
Gauthier Roebroeck 2025-02-20 09:51:03 +08:00
parent e528c7e3d9
commit 707f9a00d2
2 changed files with 10 additions and 2 deletions

View file

@ -22,7 +22,8 @@
"enum": [
"8080",
"25600"
]
],
"default": "25600"
}
}
},
@ -10300,6 +10301,9 @@
"negative": {
"type": "boolean"
},
"positive": {
"type": "boolean"
},
"seconds": {
"type": "integer",
"format": "int64"
@ -10395,6 +10399,9 @@
"negative": {
"type": "boolean"
},
"positive": {
"type": "boolean"
},
"seconds": {
"type": "integer",
"format": "int64"

View file

@ -133,7 +133,8 @@ class OpenApiConfiguration(
"port",
ServerVariable()
.addEnumItem("8080")
.addEnumItem("25600"),
.addEnumItem("25600")
._default("25600"),
),
),
Server()