From ec8cedc57f05bf8ae6bd367ba4dbeef23973b0b1 Mon Sep 17 00:00:00 2001
From: zhuyj17 <firmlyzhu@163.com>
Date: Wed, 12 Dec 2018 23:26:51 +0800
Subject: [PATCH] fix a bug in nginx_config.sh

---
 tools/nginx_config.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/nginx_config.sh b/tools/nginx_config.sh
index e29d2a6..c6227b4 100755
--- a/tools/nginx_config.sh
+++ b/tools/nginx_config.sh
@@ -23,7 +23,7 @@ sed -i "s/%NGINX_PORT/${NGINX_PORT}/g" ${NGINX_CONF}/nginx_docklet.conf
 sed -i "s/%PROXY_PORT/${PROXY_PORT}/g" ${NGINX_CONF}/nginx_docklet.conf
 sed -i "s/%WEB_PORT/${WEB_PORT}/g" ${NGINX_CONF}/nginx_docklet.conf
 
-if [ "${NGINX_PORT}" != "80" ]
+if [ "${NGINX_PORT}" != "80" ] && [ "${NGINX_PORT}" != "443" ]
 then
   sed -i "s/\$host/\$host:\$server_port/g" ${NGINX_CONF}/nginx_docklet.conf
 fi