From b700a60f2ed3dc0ee63f664b7fc60d9395d3ef66 Mon Sep 17 00:00:00 2001 From: rubenpieters Date: Wed, 20 Dec 2023 20:05:28 +0100 Subject: [PATCH] update run script --- scripts/run_web_server_docker.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/run_web_server_docker.sh b/scripts/run_web_server_docker.sh index 43d11c1..c57795e 100644 --- a/scripts/run_web_server_docker.sh +++ b/scripts/run_web_server_docker.sh @@ -1,2 +1,2 @@ -docker build -t phpserver:latest . -docker run -p 80:80 -v ${PWD}:/workdir phpserver:latest /workdir/scripts/run_web_server.sh +# build the docker image: docker build -t phpserver:latest . +docker run --rm -p 80:80 -v ${PWD}:/workdir phpserver:latest /workdir/scripts/run_web_server.sh