Spaces:
Sleeping
Sleeping
Fix /reset to accept empty/null body from automated checker
Browse files
server.py
CHANGED
|
@@ -259,7 +259,7 @@ def health():
|
|
| 259 |
|
| 260 |
|
| 261 |
@app.post("/reset")
|
| 262 |
-
def reset(req: ResetRequest):
|
| 263 |
"""
|
| 264 |
Start a new episode.
|
| 265 |
|
|
@@ -267,6 +267,8 @@ def reset(req: ResetRequest):
|
|
| 267 |
seed (int, default 42) — RNG seed for full reproducibility
|
| 268 |
task_id (str, default 'easy') — one of: easy | medium | hard
|
| 269 |
"""
|
|
|
|
|
|
|
| 270 |
if req.task_id not in TASKS:
|
| 271 |
raise HTTPException(
|
| 272 |
status_code=400,
|
|
|
|
| 259 |
|
| 260 |
|
| 261 |
@app.post("/reset")
|
| 262 |
+
def reset(req: Optional[ResetRequest] = None):
|
| 263 |
"""
|
| 264 |
Start a new episode.
|
| 265 |
|
|
|
|
| 267 |
seed (int, default 42) — RNG seed for full reproducibility
|
| 268 |
task_id (str, default 'easy') — one of: easy | medium | hard
|
| 269 |
"""
|
| 270 |
+
if req is None:
|
| 271 |
+
req = ResetRequest()
|
| 272 |
if req.task_id not in TASKS:
|
| 273 |
raise HTTPException(
|
| 274 |
status_code=400,
|