Upgrade JRE image patch version when running back-end services

From `11.0.21` to `11.0.23`
seart-group · Jun 7, 2024 · 4bbc9f2 · 4bbc9f2
1 parent e98ed36
commit 4bbc9f2
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 5 deletions.
diff --git a/deployment/.env.template b/deployment/.env.template
@@ -3,7 +3,6 @@ DATABASE_USER=$DATABASE_USER
 DATABASE_PASS=$DATABASE_PASS
 DATABASE_PORT=$DATABASE_PORT
 
-SERVER_PORT=$SERVER_PORT
 SERVER_MAIL_ADDR=$SERVER_MAIL_ADDR
 SERVER_MAIL_PASS=$SERVER_MAIL_PASS
 SERVER_SECURITY_USER=$SERVER_SECURITY_USER

diff --git a/deployment/docker-compose.yml b/deployment/docker-compose.yml
@@ -82,7 +82,6 @@ services:
       DATABASE_NAME: ${DATABASE_NAME}
       DATABASE_USER: ${DATABASE_USER}
       DATABASE_PASS: ${DATABASE_PASS}
-      SERVER_PORT: ${SERVER_PORT}
       SERVER_MAIL_ADDR: ${SERVER_MAIL_ADDR}
       SERVER_MAIL_PASS: ${SERVER_MAIL_PASS}
       SERVER_SECURITY_USER: ${SERVER_SECURITY_USER}
@@ -110,7 +109,6 @@ services:
       dockerfile: deployment/website/Dockerfile
       args:
         WEBSITE_PORT: ${WEBSITE_PORT}
-        SERVER_URL: https://localhost:${SERVER_PORT}/api
     networks: 
       - default
     restart: always

diff --git a/deployment/server/Dockerfile b/deployment/server/Dockerfile
@@ -25,9 +25,11 @@ RUN apk update --quiet && \
 
 ENTRYPOINT java $JAVA_OPTS -jar server.jar
 
+EXPOSE 8080
+
 HEALTHCHECK \
     --start-period=30s \
     --interval=60s \
     --timeout=5s \
     --retries=5 \
-    CMD curl --silent --fail --request GET http://localhost:$SERVER_PORT/api || exit 1
+    CMD curl --silent --fail --request GET http://localhost:8080/api || exit 1
diff --git a/dl4se-server/src/main/resources/application.properties b/dl4se-server/src/main/resources/application.properties
@@ -1,6 +1,6 @@
 # Server Configuration
 server.servlet.context-path=/api
-server.port=${SERVER_PORT:8080}
+server.port=8080
 
 # Banner Configuration
 spring.banner.location=classpath:banner.txt