change port to 80

MaRDI4NFDI · Sep 7, 2023 · 1f116fd · 1f116fd
1 parent f924ea8
commit 1f116fd
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -18,4 +18,6 @@ RUN pip install -r requirements.txt --src /usr/local/src
 
 COPY nginx.conf /etc/nginx
 RUN chmod +x ./start.sh
+
+EXPOSE 80
 CMD ["./start.sh"]
diff --git a/nginx.conf b/nginx.conf
@@ -24,8 +24,8 @@ http {
     index   index.html index.htm;
 
     server {
-        listen       5000 default_server;
-        listen       [::]:5000 default_server;
+        listen       80 default_server;
+        listen       [::]:80 default_server;
         server_name  localhost;
         root         /var/www/html;