Pass client sessions instead of project and protocol

nathanpovo · Oct 12, 2023 · 80a6eee · 80a6eee
1 parent a7b4a90
commit 80a6eee
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/...rp/src/main/java/com/jetbrains/rider/plugins/fsharp/services/fsi/FsiSandboxInfoUpdater.kt b/...rp/src/main/java/com/jetbrains/rider/plugins/fsharp/services/fsi/FsiSandboxInfoUpdater.kt
@@ -3,6 +3,7 @@ package com.jetbrains.rider.plugins.fsharp.services.fsi
 import com.intellij.execution.process.ProcessAdapter
 import com.intellij.execution.process.ProcessEvent
 import com.intellij.execution.process.ProcessOutputTypes
+import com.intellij.openapi.client.ClientProjectSession
 import com.intellij.openapi.editor.Editor
 import com.intellij.openapi.editor.ex.EditorEx
 import com.intellij.openapi.project.Project
@@ -128,11 +129,11 @@ fun withGenericSandBoxing(sandboxInfo: SandboxInfo, outerProject: Project, block
   Lifetime.using { lt ->
     com.intellij.util.application.messageBus.subscribe(lt, FrontendTextControlHostListener.TOPIC, object : FrontendTextControlHostListener {
       override fun beforeEditorBound(lifetime: Lifetime,
-                                     project: Project,
+                                     projectSession: ClientProjectSession,
                                      textControlId: TextControlId,
                                      editorModel: TextControlModel,
                                      editor: Editor) {
-        if (project != outerProject)
+        if (projectSession.project != outerProject)
           return
         if (localInfo != null)
           SandboxManager.getInstance().markAsSandbox(editor, sandboxInfo)