Skip to content
This repository was archived by the owner on Dec 23, 2024. It is now read-only.

Commit 975292a

Browse files
brettfonosami
authored andcommitted
dispose fsi at the end of a scripting session (dotnet#8084)
1 parent 2806f1f commit 975292a

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/fsharp/FSharp.Compiler.Private.Scripting/FSharpScript.fs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -83,3 +83,4 @@ type FSharpScript(?captureInput: bool, ?captureOutput: bool, ?additionalArgs: st
8383
stdin.Dispose()
8484
stdout.Dispose()
8585
stderr.Dispose()
86+
(fsi :> IDisposable).Dispose()

0 commit comments

Comments
 (0)