[JetBrains] improve handling of client connection termination

mustard-mh · mustard-mh · commit 921131cf0127 · 2024-10-11T01:51:27.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
@@ -296,7 +296,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
`@@ -296,7 +296,11 @@ class GitpodConnectionProvider : GatewayConnectionProvider {`
`296`	`296`	`)`
`297`	`297`	`clientHandle.clientClosed.advise(connectionLifetime) {`
`298`	`298`	`application.invokeLater {`
`299`		`- connectionLifetime.terminate()`
	`299`	`+ GlobalScope.launch {`
	`300`	`+ // Delay for 5 seconds to wait the thinClient actually close`
	`301`	`+ delay(5000)`
	`302`	`+ connectionLifetime.terminate()`
	`303`	`+ }`
`300`	`304`	`}`
`301`	`305`	`}`
`302`	`306`	`clientHandle.onClientPresenceChanged.advise(connectionLifetime) {`