coderemote 0.3.4 → 0.3.5

package/dist/coderemote.js

@@ -66,6 +66,8 @@ var Routes = Object.freeze({
   agentsSetup: "GET /api/agents/setup",
   agentsPrompt: "POST /api/agents/prompt",
   agentsKeys: "POST /api/agents/keys",
+  agentsStop: "POST /api/agents/stop",
+  agentsForget: "POST /api/agents/forget",
   agentsUpload: "POST /api/agents/uploads",
   pushDeviceSet: "PUT /api/push/device",
   pushDeviceDelete: "DELETE /api/push/device",
@@ -633,6 +635,17 @@ var AgentHub = class extends EventEmitter {
       }
     }
   }
+  /**
+   * Drops a session from the list, withdrawing its requests. One still running elsewhere comes
+   * back with its next hook event.
+   */
+  forget(id) {
+    const s = this.#sessions.get(id);
+    if (!s) throw new HttpError(404, "no such session");
+    if (s.state !== "ended") this.#end(s);
+    this.#sessions.delete(id);
+    this.emit("message", { type: "session_removed", session: id, replacedBy: null });
+  }
   /** Forgets sessions that ended more than a day ago. */
   sweep() {
     const cutoff = this.#now() - ENDED_TTL;
@@ -1630,8 +1643,8 @@ var TerminalSession = class {
       this.pty.resize(cols, rows);
     }
   }
-  kill() {
-    this.pty.kill();
+  kill(signal) {
+    this.pty.kill(signal);
   }
   /** Types into the session, as a client's keyboard would. */
   write(data) {
@@ -2288,6 +2301,25 @@ function createAgentServer({
       }
       return {};
     },
+    [Routes.agentsStop]: async (url, req) => {
+      const { session: id } = await readJson(req);
+      const { term } = typingTarget(id, { whileWaiting: true });
+      term.kill();
+      setTimeout(() => {
+        if (term.exitCode === null) term.kill("SIGKILL");
+      }, 3e3).unref();
+      return {};
+    },
+    [Routes.agentsForget]: async (url, req) => {
+      const { session: id } = await readJson(req);
+      const session = typeof id === "string" ? agents.session(id) : null;
+      if (!session) throw new HttpError(404, "no such session");
+      if (session.state !== "ended" && session.terminal && sessions.get(session.terminal)) {
+        throw new HttpError(409, "this session still runs here; stop it first");
+      }
+      agents.forget(id);
+      return {};
+    },
     [Routes.agentsAnswer]: async (url, req) => {
       agents.answer(await readJson(req));
       return {};
@@ -3016,7 +3048,7 @@ function installCommand(installedAt) {
 // package.json
 var package_default = {
   name: "coderemote",
-  version: "0.3.4",
+  version: "0.3.5",
   description: "Use your computer from your iPhone: files, git and a real terminal over a secure Microsoft Dev Tunnel. No SSH, no port forwarding, no VPN.",
   keywords: [
     "remote",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "coderemote",
-  "version": "0.3.4",
+  "version": "0.3.5",
   "description": "Use your computer from your iPhone: files, git and a real terminal over a secure Microsoft Dev Tunnel. No SSH, no port forwarding, no VPN.",
   "keywords": [
     "remote",