Spaces:
Paused
Paused
File size: 229 Bytes
7343d7f | 1 2 3 4 5 6 7 8 9 10 11 12 | """Server configuration."""
from pydantic import BaseModel
class ServerConfig(BaseModel):
host: str = "0.0.0.0"
port: int = 7860
default_difficulty: int = 1
max_episodes: int = 1000
seed: int | None = None
|