Thorsten Ball 7ce8797d78 ssh remoting: Add infrastructure to handle reconnects (#18572) ... This restructures the code in `remote` so that it's easier to replace the current SSH connection with a new one in case of disconnects/reconnects. Right now, it successfully reconnects, BUT we're still missing the big piece on the server-side: keeping the server process alive and reconnecting to the same process that keeps the project-state. Release Notes: - N/A --------- Co-authored-by: Bennet <bennet@zed.dev>		2024-10-01 12:16:44 +02:00
..
json_log.rs	Improve ssh remote error handling and logging (#15035)	2024-07-23 13:29:56 -07:00
protocol.rs	Add the ability to edit remote directories over SSH (#14530)	2024-07-19 10:27:26 -07:00
remote.rs	ssh remoting: Add infrastructure to handle reconnects (#18572)	2024-10-01 12:16:44 +02:00
ssh_session.rs	ssh remoting: Add infrastructure to handle reconnects (#18572)	2024-10-01 12:16:44 +02:00