dispose fsi at the end of a scripting session (#8084)

dotnet · Jan 4, 2020 · 0600685 · 0600685
1 parent e69e4f1
commit 0600685
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/fsharp/FSharp.Compiler.Private.Scripting/FSharpScript.fs b/src/fsharp/FSharp.Compiler.Private.Scripting/FSharpScript.fs
@@ -83,3 +83,4 @@ type FSharpScript(?captureInput: bool, ?captureOutput: bool, ?additionalArgs: st
             stdin.Dispose()
             stdout.Dispose()
             stderr.Dispose()
+            (fsi :> IDisposable).Dispose()