Rework workspace/client/tcpclient disconnection

2026-08-13 19:33:44 +00:00 · 2020-06-16 08:13:22 -05:00
parent 64e1cc787f
commit 549d1d7d08
7 changed files with 71 additions and 44 deletions
@@ -180,15 +180,16 @@ namespace QSharp

        public void disconnect()
        {
-            //TODO
            Log.Information($"[workspace] disconnect: {name}");
-            stopHeartbeat();
+            if (heartbeatTimer != null)
+                stopHeartbeat();
            stopReceivingUpdates();
            disconnectFromWorkspace();

            connected = false;
-
            client.disconnect();
+            
+            //TODO
            //root.removeAllChildCues();

        }
@@ -531,11 +532,6 @@ namespace QSharp

        #endregion

-        public void Close()
-        {
-            client.Close();
-        }
-
        #region Printing
        public void Print()
        {