Delete pdbs

dotnet · Jan 9, 2023 · 6255d54 · 6255d54
1 parent d9898cc
commit 6255d54
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/src/Compiler/Interactive/fsi.fs b/src/Compiler/Interactive/fsi.fs
@@ -1342,6 +1342,20 @@ let scriptingDirectory =
 
     createDirectory (Path.Combine(Path.GetTempPath(), $"{DateTime.Now:s}-{Guid.NewGuid():n}".Replace(':', '-')))
 
+let deleteScripts () =
+    try
+#if !DEBUG
+            if scriptingDirectory.IsValueCreated then
+                if Directory.Exists(scriptingDirectory.Value) then
+                    Directory.Delete(scriptingDirectory.Value, true)
+#else
+            ()
+#endif
+    with _ ->
+        ()
+
+do AppDomain.CurrentDomain.ProcessExit |> Event.add (fun _ -> deleteScripts ())
+
 
 
 let dynamicCcuName = "FSI-ASSEMBLY"