Reland "fix: try to close connection on ssh close"

src/LogView.ts

@@ -221,7 +221,8 @@ Use uname -a to check whether the system is MacOS or Linux.`
       this._itemToParent.set(item, parent);
       this.addRetainer({item, parent});
     } else {
-      if (this._prompt)
+      const promptElement = this._prompt?.render();
+      if (promptElement && promptElement.parentElement === this._scroller)
         this._scroller.insertBefore(element, this._prompt.render());
       else
         this._scroller.appendChild(element);

src/Shell.ts

@@ -358,10 +358,28 @@ export class Shell {
     };
     return handler;
   }
+
+  _logMessageToUser(message: string) {
+    this.addItem(new JSLogBlock({
+      type: 'log',
+      args: [{
+        type: 'string',
+        value: message,
+      }],
+      executionContextId: -1,
+      timestamp: 0,
+    }, this.connection, this._size));
+  }
+
   async _setupConnectionInner(core: ConnectionCore, args: string[], sshAddress = null) {
     this._clearCache();
     const connection = new JSConnection(core);
-    core.onclose = () => connection.didClose();
+    core.onclose = () => {
+      if (!destroyed)
+        this._logMessageToUser('Connection closed.');
+      destroy();
+      connection.didClose();
+    }
     this._connectionIsDaemon.set(connection, false);
     const urlForIframe = (filePath: string) => core.urlForIframe(filePath, []);
     this._urlForIframeForConncetion.set(connection, urlForIframe);