╭ changed ────────╮ │src/serve_ssh.zig│ ╰─────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭─────────────────────────────────────────────────────────────────────────────────╮ │244 try ui.inputKey(allocator, &nav.root, key, &ui_session);│ │245 } │ │246 }, │ │247 - .close => terminal.requestQuit(), │ │247 + // either way no more input can arrive, so nothing is left to │ │248 + // drive the ui — but on .eof the channel is still open, so the │ │249 + // teardown below still reaches the client. │ │250 + .eof, .close => terminal.requestQuit(), │ │251 } │ │252 │ │253 try ui_session.applyAndWritePending(io, allocator, &repo); │ ╰─────────────────────────────────────────────────────────────────────────────────╯