Allow shutting down the active remote server

2026-09-22 05:35:48 +00:00 · 2016-09-13 16:07:57 +02:00
parent c1a0b4857b
commit c10c487a02
3 changed files with 28 additions and 7 deletions
@@ -370,8 +370,19 @@ namespace renderdocui.Code
            m_Remote = null;
        }

+        public void ShutdownServer()
+        {
+            if(m_Remote != null)
+                m_Remote.ShutdownServerAndConnection();
+
+            m_Remote = null;
+        }
+
        public void PingRemote()
        {
+            if (m_Remote == null)
+                return;
+
            if (Monitor.TryEnter(m_Remote))
            {
                try