[JetBrains] improve handling of client connection termination

mustard-mh · mustard-mh · commit d941f69f0117 · 2024-10-11T20:27:08.000+08:00
diff --git a/components/ide/jetbrains/gateway-plugin/src/main/kotlin/io/gitpod/jetbrains/gateway/GitpodConnectionProvider.kt b/components/ide/jetbrains/gateway-plugin/src/main/kotlin/io/gitpod/jetbrains/gateway/GitpodConnectionProvider.kt
@@ -297,7 +297,11 @@ class GitpodConnectionProvider : GatewayConnectionProvider {
                                     )
                                     clientHandle.clientClosed.advise(connectionLifetime) {
                                         application.invokeLater {
-                                            connectionLifetime.terminate()
+                                            GlobalScope.launch {
+                                                // Delay for 5 seconds to wait the thinClient actually close
+                                                delay(5000)
+                                                connectionLifetime.terminate()
+                                            }
                                         }
                                     }
                                     clientHandle.onClientPresenceChanged.advise(connectionLifetime) {

Original file line number	Diff line number	Diff line change
`@@ -297,7 +297,11 @@ class GitpodConnectionProvider : GatewayConnectionProvider {`
`297`	`297`	`)`
`298`	`298`	`clientHandle.clientClosed.advise(connectionLifetime) {`
`299`	`299`	`application.invokeLater {`
`300`		`- connectionLifetime.terminate()`
	`300`	`+ GlobalScope.launch {`
	`301`	`+ // Delay for 5 seconds to wait the thinClient actually close`
	`302`	`+ delay(5000)`
	`303`	`+ connectionLifetime.terminate()`
	`304`	`+ }`
`301`	`305`	`}`
`302`	`306`	`}`
`303`	`307`	`clientHandle.onClientPresenceChanged.advise(connectionLifetime) {`