From 56e34e4bae7e279baf37d3f77849a57c8e2ba3d3 Mon Sep 17 00:00:00 2001 From: paulmaybee Date: Mon, 23 Oct 2023 13:12:24 -0700 Subject: [PATCH] mark logger not initialized on close (#1422) Co-authored-by: Andrew Wang --- src/MICore/Logger.cs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/MICore/Logger.cs b/src/MICore/Logger.cs index 86e2db72f..671366294 100644 --- a/src/MICore/Logger.cs +++ b/src/MICore/Logger.cs @@ -97,6 +97,7 @@ public static void Reset() { HostLogger.Reset(); s_isEnabled = false; + s_isInitialized = false; } }