update Dockerfile

Dockerfile

@@ -152,9 +152,15 @@ REDIS_CHECK=$(/usr/local/bin/redis-cli ping 2>/dev/null || echo "FAILED")
 echo "Redis ping: $REDIS_CHECK"
 
 echo "=== VERIFICATION ==="
-pgrep -x mongod || echo "MongoDB NOT running"
-pgrep -x redis-server || echo "Redis NOT running"
-/usr/local/bin/redis-cli ping
+pkill -9 nginx 2>/dev/null || true
+sleep 1
+
+sed -i 's/listen 80/listen 7860/g' /etc/nginx/nginx.conf
+sed -i 's/listen 8080/listen 7861/g' /etc/nginx/nginx.conf
+nginx -t
+nginx
+
+echo "Port 80 replaced with 7860 in nginx config"
 
 echo "=== ALL SERVICES STARTED ==="
 EOFSCRIPT
@@ -169,14 +175,18 @@ RUN echo "mongodb://127.0.0.1:27017/sharelatex" > /etc/container_environment/OVE
 RUN echo "127.0.0.1" > /etc/container_environment/OVERLEAF_REDIS_HOST
 RUN echo "6379" > /etc/container_environment/OVERLEAF_REDIS_PORT
 RUN echo "0.0.0.0" > /etc/container_environment/OVERLEAF_LISTEN_IP
-RUN echo "7860" > /etc/container_environment/OVERLEAF_PORT
+RUN echo "80" > /etc/container_environment/OVERLEAF_PORT
+RUN echo "7860" > /etc/container_environment/NGINX_HTTP_PORT
 RUN chmod 644 /etc/container_environment/OVERLEAF_*
 
 RUN echo "OVERLEAF_MONGO_URL=mongodb://127.0.0.1:27017/sharelatex" >> /etc/overleaf/env.sh
 RUN echo "OVERLEAF_REDIS_HOST=127.0.0.1" >> /etc/overleaf/env.sh
 RUN echo "OVERLEAF_REDIS_PORT=6379" >> /etc/overleaf/env.sh
 RUN echo "OVERLEAF_LISTEN_IP=0.0.0.0" >> /etc/overleaf/env.sh
-RUN echo "OVERLEAF_PORT=7860" >> /etc/overleaf/env.sh
+RUN echo "OVERLEAF_PORT=80" >> /etc/overleaf/env.sh
+RUN echo "OVERLEAF_WEB_PORT=7860" >> /etc/overleaf/env.sh
+RUN echo "NGINX_HTTP_PORT=7860" >> /etc/overleaf/env.sh
+RUN echo "OVERLEAF_PORT=7860" > /etc/container_environment/OVERLEAF_PORT
 RUN chmod 644 /etc/overleaf/env.sh
 
 EXPOSE 7860