chore(py.typed): add py.typed

Reviewed-on: #5

.vscode/launch.json

@@ -3,17 +3,9 @@
   "configurations": [
     {
       "name": "Launch Flask",
-      "type": "debugpy",
+      "type": "node-terminal",
       "request": "launch",
-      "module": "flask",
+      "command": "flask --app src/judas_server/web/web_server.py run --host=0.0.0.0"
-      "env": {
-        "FLASK_APP": "judas_server/web/web_server.py"
-      },
-      "args": [
-        "run",
-        "--host",
-        "0.0.0.0"
-      ]
     }
   ]
 }

.vscode/settings.json

@@ -1,4 +1,4 @@
 {
-    "python.analysis.autoImportCompletions": true,
+  "python.analysis.autoImportCompletions": true,
-    "python.analysis.typeCheckingMode": "standard",
+  "python.analysis.typeCheckingMode": "standard"
 }

CHANGELOG.md

@@ -2,6 +2,12 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.1] - 2025-08-09
+
+### Miscellaneous Tasks
+
+- [`8b6bf1e`](https://github.com/pufereq/template-repo/commit/8b6bf1e91366d76ee3203b508b895e4b75d7f845) **.vscode/launch.json**: use shell instead of debugpy for running flask
+
 ## [0.1.0] - 2025-08-09
 
 ### Bug Fixes

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "uv_build"
 
 [project]
 name = "judas_server"
-version = "0.1.0"
+version = "0.1.1"
 description = "The backbone of the remote PC fleet management system."
 readme = "README.md"
 authors = []
@@ -21,6 +21,9 @@ test = [
   "pytest-mock>=3.14.1",
 ]
 
+[tool.basedpyright]
+typeCheckingMode = "basic"
+
 [tool.ruff]
 line-length = 79
 exclude = ["tests/*"]

src/judas_server/web/web_server.py

@@ -85,7 +85,7 @@ def index() -> flask.Response | str:
 
 
 @app.route("/login", methods=["GET", "POST"])
-def login() -> str:
+def login() -> flask.Response | str:
     """Handles user login via password form."""
     if flask.request.method == "POST":
         password = flask.request.form.get("password", "")
@@ -154,6 +154,7 @@ def stream(pc_id: str) -> str:
         Rendered HTML template for streaming.
     """
     return flask.render_template(
+        "stream.html",
         logged=True,
         username=flask_login.current_user.id,
         pc=PC_DETAILS[pc_id],