Expand description
One editor (see geop_core_editor::editor) answering commands of the
JSON protocol, one line each: what geop serve runs over stdin/stdout
and geop open over a WebSocket.
Every command is answered by exactly one line: the update, or
{"fatal": "..."} if the command could not be read at all, or
{"crashed": "<what panicked, where>"} if the kernel panicked running
it. A panic leaves the editor in an unknown state: the session is then
started afresh, and the front end gives it the program it holds again
(web/src/backend.ts, vscode-extension/src/server.ts).
Structs§
- Answer
- What a session answered to one command.
- Session
- An editor and where what it makes of files is kept.
Constants§
- PANICKED 🔒
- What last panicked on this thread and where, as the default hook prints it: the panic hook runs on the thread that panics, so each session reads its own.
Functions§
- note_
panics 🔒 - Note every panic’s message in
PANICKED, besides printing it.