From 73dff8dcc2a73baa801868e77a3f17b86026e465 Mon Sep 17 00:00:00 2001 From: "Brett V. Forsgren" Date: Fri, 3 Jan 2020 14:26:38 -0800 Subject: [PATCH] dispose fsi at the end of a scripting session --- src/fsharp/FSharp.Compiler.Private.Scripting/FSharpScript.fs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/fsharp/FSharp.Compiler.Private.Scripting/FSharpScript.fs b/src/fsharp/FSharp.Compiler.Private.Scripting/FSharpScript.fs index 29cdf6d6d0a..7cb7327a273 100644 --- 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()