Set server.port to 80 for pulumi-library compatibility

2023-11-18 12:44:27 +00:00 · 2023-11-18 12:44:27 +00:00 · e66dfb8d23
commit e66dfb8d23
parent c9f713bc12
1 changed files with 2 additions and 1 deletions
--- 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