From e0b5e05cce8e9f2fc49d640397662d48abbefea0 Mon Sep 17 00:00:00 2001
From: Finn Stutzenstein <me@finn.st>
Date: Wed, 21 Oct 2026 08:36:57 +0000
Subject: [PATCH] Use port 8757 for the dev server

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 .devcontainer/devcontainer.json | 2 +-
 csrf-test/index.html            | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index ee75f16..5a5b8b9 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -17,6 +17,6 @@
     },
     "postCreateCommand": "pip install -U pip && pip install -U -r requirements.txt -r requirements-dev.txt",
     "forwardPorts": [
-        8000
+        8757
     ]
 }
\ No newline at end of file
diff --git a/csrf-test/index.html b/csrf-test/index.html
index d81b742..c53c9dc 100644
--- a/csrf-test/index.html
+++ b/csrf-test/index.html
@@ -10,7 +10,7 @@
 
         <script>
             function test() {
-                $.post("http://localhost:8000/user/1/toggle-enabled", null, function () {
+                $.post("http://localhost:8757/user/1/toggle-enabled", null, function () {
                     console.log("success", arguments);
                 });
             }
@@ -18,7 +18,7 @@
         
         <button onclick="test()">Change</button>
 
-        <form action="http://localhost:8000/user/1/toggle-enabled" method="post">
+        <form action="http://localhost:8757/user/1/toggle-enabled" method="post">
             <button type="submit">Submit</button>
         </form>
     </body>