From 0b2a2e5cd0fd849c67ae0a855ac40e4f6502e1c4 Mon Sep 17 00:00:00 2001
From: Brendan Chen <me@bchen.dev>
Date: Wed, 25 Feb 2026 16:45:09 -0800
Subject: [PATCH] Map to local port 8080 for the file server

---
 Caddyfile          | 4 ++--
 docker-compose.yml | 5 +----
 2 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/Caddyfile b/Caddyfile
index 97ddf6d..d7525f0 100644
--- a/Caddyfile
+++ b/Caddyfile
@@ -1,12 +1,12 @@
 # DSA Tutoring microsite
 #
-# For local use, serves on port 80.
+# For local use, serves on port 8080
 # Replace :80 with your domain (e.g. dsa-tutoring.example.com) for
 # automatic HTTPS via Let's Encrypt.
 #
 # Run `python build.py` first to generate the public/ directory.
 
-dsa-tutoring.bchen.dev {
+:8080 {
     root * /srv/public
     encode gzip
     file_server
diff --git a/docker-compose.yml b/docker-compose.yml
index 34d337c..dcee9e2 100644
--- a/docker-compose.yml
+++ b/docker-compose.yml
@@ -12,10 +12,7 @@ services:
       builder:
         condition: service_completed_successfully
     ports:
-      - "80:80"
-      - "443:443"
-      - "8080:8080"  # test port
-      - "443:443/udp"
+      - "8080:8080"
     volumes:
       - ./Caddyfile:/etc/caddy/Caddyfile
       - ./public:/srv/public:ro