Small fix to C# logger (#2889)

zeroc-ice · Oct 11, 2024 · db505c5 · db505c5
1 parent 5a1a5b4
commit db505c5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 14 deletions.
diff --git a/csharp/src/Ice/Internal/Instance.cs b/csharp/src/Ice/Internal/Instance.cs
@@ -1127,12 +1127,9 @@ public void destroy()
             _initData.observer.setObserverUpdater(null);
         }
 
+        if (_initData.logger is LoggerAdminLogger loggerAdminLogger)
         {
-            LoggerAdminLogger logger = _initData.logger as LoggerAdminLogger;
-            if (logger != null)
-            {
-                logger.destroy();
-            }
+            loggerAdminLogger.destroy();
         }
 
         //
@@ -1230,12 +1227,9 @@ public void destroy()
             Monitor.PulseAll(_mutex);
         }
 
+        if (_initData.logger is FileLoggerI fileLogger)
         {
-            Ice.FileLoggerI logger = _initData.logger as Ice.FileLoggerI;
-            if (logger != null)
-            {
-                logger.destroy();
-            }
+            fileLogger.destroy();
         }
     }
 

diff --git a/csharp/src/Ice/Internal/LoggerAdminLoggerI.cs b/csharp/src/Ice/Internal/LoggerAdminLoggerI.cs
@@ -4,7 +4,7 @@
 
 namespace Ice.Internal;
 
-internal interface LoggerAdminLogger : Ice.Logger
+internal interface LoggerAdminLogger : Logger
 {
     Ice.Object getFacet();
 
@@ -69,10 +69,9 @@ public void destroy()
                 Monitor.PulseAll(_mutex);
             }
 
-            Ice.FileLoggerI fileLoger = _localLogger as Ice.FileLoggerI;
-            if (fileLoger != null)
+            if (_localLogger is FileLoggerI fileLogger)
             {
-                fileLoger.destroy();
+                fileLogger.destroy();
             }
         }