Evan AlmloffandJonathan Kelley 3f62cd8fc0 Reconnect the edits websocket if it disconnects (#4391) ...

* Reconnect the edits websocket if it disconnects

* restart the server if the OS kills it

* fix clippy

* clean up code and add more comments

* cleanups

---------

Co-authored-by: Jonathan Kelley <jkelleyrtp@gmail.com>

2025-07-14 13:39:21 -07:00

..

eval.rs

Move the document trait into a separate crate (#3035)

2024-10-14 10:33:37 -07:00

events.rs

Reconnect the edits websocket if it disconnects (#4391)

2025-07-14 13:39:21 -07:00

rendering.rs

Reconnect the edits websocket if it disconnects (#4391)

2025-07-14 13:39:21 -07:00

utils.rs

Move the document trait into a separate crate (#3035)

2024-10-14 10:33:37 -07:00