fix(jetbrains): gateway plugin hands on auth issue

gitpod-io · Sep 21, 2022 · 2c5c2d4 · 2c5c2d4
1 parent e1985ce
commit 2c5c2d4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/...gitpod-protocol/java/src/main/java/io/gitpod/gitpodprotocol/api/GitpodServerLauncher.java b/...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();