From e66dfb8d236ea085337fa329505c3bad324e2868 Mon Sep 17 00:00:00 2001 From: antoine Date: Sat, 18 Nov 2023 12:44:27 +0000 Subject: [PATCH] Set server.port to 80 for pulumi-library compatibility --- src/main/resources/application-prod.properties | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/main/resources/application-prod.properties b/src/main/resources/application-prod.properties index 4705583..e06c507 100644 --- a/src/main/resources/application-prod.properties +++ b/src/main/resources/application-prod.properties @@ -1 +1,2 @@ -management.metrics.tags.env=prod +management.metrics.tags.env=prod +server.port=80