From 33f87883ca16a18e7ea1a9e41d4753656bf269a0 Mon Sep 17 00:00:00 2001
From: rubenpieters <rubenpietersgithub@gmail.com>
Date: Sun, 17 Dec 2023 22:48:45 +0100
Subject: [PATCH] Add docker run script

---
 Dockerfile                       | 2 ++
 scripts/run_web_server_docker.sh | 2 ++
 2 files changed, 4 insertions(+)
 create mode 100644 scripts/run_web_server_docker.sh

diff --git a/Dockerfile b/Dockerfile
index a909ec4..e2333c7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,3 +6,5 @@ RUN apt-get -y install php-cli php-dom
 
 ADD requirements.txt .
 RUN pip install -r requirements.txt
+
+WORKDIR /workdir
diff --git a/scripts/run_web_server_docker.sh b/scripts/run_web_server_docker.sh
new file mode 100644
index 0000000..43d11c1
--- /dev/null
+++ b/scripts/run_web_server_docker.sh
@@ -0,0 +1,2 @@
+docker build -t phpserver:latest .
+docker run -p 80:80 -v ${PWD}:/workdir phpserver:latest /workdir/scripts/run_web_server.sh