From 8b99612f0a71194bc9fea0da5efba7c5847a9acc Mon Sep 17 00:00:00 2001
From: Francesco Guardiani <francescoguard@gmail.com>
Date: Fri, 29 Sep 2023 12:37:39 +0200
Subject: [PATCH] Use 9080 as default port (#110)

---
 .../dev/restate/sdk/vertx/RestateHttpEndpointBuilder.java     | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sdk-vertx/src/main/java/dev/restate/sdk/vertx/RestateHttpEndpointBuilder.java b/sdk-vertx/src/main/java/dev/restate/sdk/vertx/RestateHttpEndpointBuilder.java
index d6b120fd..0340767b 100644
--- a/sdk-vertx/src/main/java/dev/restate/sdk/vertx/RestateHttpEndpointBuilder.java
+++ b/sdk-vertx/src/main/java/dev/restate/sdk/vertx/RestateHttpEndpointBuilder.java
@@ -121,11 +121,11 @@ public Future<HttpServer> buildAndListen(int port) {
 
   /**
    * Build and listen on the port specified by the environment variable {@code PORT}, or
-   * alternatively on the default {@code 8080} port.
+   * alternatively on the default {@code 9080} port.
    */
   public Future<HttpServer> buildAndListen() {
     return buildAndListen(
-        Optional.ofNullable(System.getenv("PORT")).map(Integer::parseInt).orElse(8080));
+        Optional.ofNullable(System.getenv("PORT")).map(Integer::parseInt).orElse(9080));
   }
 
   /** Build the {@link HttpServer} serving the Restate service endpoint. */