Method kill

packages/computerd/src/exec/runner.ts:287–294

(id: string, signal: NodeJS.Signals = "SIGTERM")

  }

  kill(id: string, signal: NodeJS.Signals = "SIGTERM"): void {
    const record = this.records.get(id);
    if (record === undefined) {
      throw new ExecError("ENOENT", `no exec record for id ${id}`);
    }
    if (!record.live) return;
    record.child.kill(signal);
  }

  dispose(id: string): void {
    const record = this.records.get(id);