From 2c5c2d4de49ad30421f8f3a0fd5eaf73243d140f Mon Sep 17 00:00:00 2001 From: Andrea Falzetti Date: Mon, 19 Sep 2022 10:44:36 +0000 Subject: [PATCH] fix(jetbrains): gateway plugin hands on auth issue --- .../io/gitpod/gitpodprotocol/api/GitpodServerLauncher.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/components/gitpod-protocol/java/src/main/java/io/gitpod/gitpodprotocol/api/GitpodServerLauncher.java b/components/gitpod-protocol/java/src/main/java/io/gitpod/gitpodprotocol/api/GitpodServerLauncher.java index d94bce0c6dff43..a53030500e7e8a 100644 --- a/components/gitpod-protocol/java/src/main/java/io/gitpod/gitpodprotocol/api/GitpodServerLauncher.java +++ b/components/gitpod-protocol/java/src/main/java/io/gitpod/gitpodprotocol/api/GitpodServerLauncher.java @@ -82,6 +82,10 @@ public GitpodServerConnection listen( } } ClientContainer container = new ClientContainer(httpClient); + + // stop container immediately since we close only when a session is already gone + container.setStopTimeout(0); + // allow clientContainer to own httpClient (for start/stop lifecycle) container.getClient().addManaged(httpClient); container.start();