nats terminal: implement 'kick'

src/packages/frontend/frame-editors/terminal-editor/connected-terminal.ts

@@ -292,6 +292,7 @@ export class Terminal<T extends CodeEditorState = CodeEditorState> {
       });
       this.conn = conn as any;
       conn.on("close", this.connect);
+      conn.on("kick", this.close_request);
       conn.on("data", this._handle_data_from_project);
       conn.once("ready", () => {
         delete this.last_geom;
@@ -682,7 +683,7 @@ export class Terminal<T extends CodeEditorState = CodeEditorState> {
     await callback(g);
   }
 
-  close_request(): void {
+  close_request = (): void => {
     this.actions.set_error("You were removed from a terminal.");
     // If there is only one frame, we close the
     // entire editor -- otherwise, we close only
@@ -695,7 +696,7 @@ export class Terminal<T extends CodeEditorState = CodeEditorState> {
     } else {
       this.actions.close_frame(this.id);
     }
-  }
+  };
 
   private use_subframe(path: string): boolean {
     const this_path_ext = filename_extension(this.actions.path);

src/packages/frontend/frame-editors/terminal-editor/nats-terminal-connection.ts

@@ -229,10 +229,11 @@ export class NatsTerminalConnection extends EventEmitter {
       },
 
       kick: async (sender_browser_id) => {
-        console.log(
-          `everyone but ${sender_browser_id} must go!`,
-          webapp_client.browser_id,
-        );
+        if (sender_browser_id == webapp_client.browser_id) {
+          // I sent the kick
+          return;
+        }
+        this.emit("kick");
       },
 
       size: async ({ rows, cols }) => {