No negative Days

This commit is contained in:
penner 2023-09-10 15:12:58 +00:00
parent 4684df16f9
commit 050c8408d9

View file

@ -57,4 +57,7 @@ async def user_can_view_door(
True iff das Türchen von Tag `day` user-sichtbar ist True iff das Türchen von Tag `day` user-sichtbar ist
""" """
if day < 0:
raise HTTPException(status.HTTP_422_UNPROCESSABLE_ENTITY)
return day < await user_visible_doors() return day < await user_visible_doors()