From ddcd4bf228f6987748fe558efc8c058b04ffab32 Mon Sep 17 00:00:00 2001
From: jcardozo <jaime.cardozo@library.ethz.ch>
Date: Mon, 16 Sep 2024 17:07:33 +0200
Subject: [PATCH] Expose port 8080 in Dockerfile

Add EXPOSE directive in the Dockerfile to allow the container to handle requests on port 8080. This change supports the functionality of the web server running inside the container.
---
 Dockerfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 778ccd9..2b14ad6 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -25,4 +25,7 @@ ENV PATH="${PATH}:/nix/var/nix/profiles/default/bin"
 CMD [ "/bin/systemd" ]
 
 # Install Devbox using Nix
-RUN nix profile install nixpkgs#devbox
\ No newline at end of file
+RUN nix profile install nixpkgs#devbox
+
+# Expose port 8080 to handle requests to web server
+EXPOSE 8080
\ No newline at end of file