From 7b65d8c9b5a244746ebb46288f428fb514c8457c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rn-Michael=20Miehe?= <jmm@yavook.de>
Date: Sun, 22 Feb 2026 16:38:50 +0000
Subject: [PATCH] =?UTF-8?q?=F0=9F=A7=B9=20production=20script:=20use=20pyd?=
 =?UTF-8?q?antic=20constrained=20integers?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 api/advent22_api/production.py | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/api/advent22_api/production.py b/api/advent22_api/production.py
index d24a270..d562379 100644
--- a/api/advent22_api/production.py
+++ b/api/advent22_api/production.py
@@ -2,14 +2,14 @@ import os
 
 from granian import Granian
 from granian.constants import Interfaces, Loops
-from pydantic import BaseModel, Field
+from pydantic import BaseModel, PositiveInt
 from pydantic_settings import BaseSettings, SettingsConfigDict
 
 
 class WorkersSettings(BaseModel):
-    per_core: int = Field(1, ge=1)
-    max: int | None = Field(None, ge=1)
-    exact: int | None = Field(None, ge=1)
+    per_core: PositiveInt = 1
+    max: PositiveInt | None = None
+    exact: PositiveInt | None = None
 
     @property
     def count(self) -> int: