Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Improve ssh remote error handling and logging (#15035)

Browse source 
Release Notes:

- N/A
This commit is contained in:
Max Brunsfeld 2024-07-23 13:29:56 -07:00 • committed by GitHub
parent b0c525af5f
commit 5f7881fc1e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
10 changed files with 103 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/proto/proto/zed.proto
View file

@ -268,11 +268,10 @@ message Envelope {
GetSignatureHelpResponse get_signature_help_response = 218;
ListRemoteDirectory list_remote_directory = 219;
ListRemoteDirectoryResponse list_remote_directory_response = 220;
UpdateDevServerProject update_dev_server_project = 221; // current max
UpdateDevServerProject update_dev_server_project = 221;
// Remote
AddWorktree add_worktree = 500;
AddWorktreeResponse add_worktree_response = 501;
AddWorktree add_worktree = 222;
AddWorktreeResponse add_worktree_response = 223; // current max
}
reserved 158 to 161;

2
crates/proto/src/proto.rs
View file

@ -395,7 +395,6 @@ messages!(
(UpdateContext, Foreground),
(SynchronizeContexts, Foreground),
(SynchronizeContextsResponse, Foreground),
// Remote development
(AddWorktree, Foreground),
(AddWorktreeResponse, Foreground),
);
@ -515,7 +514,6 @@ request_messages!(
(RestartLanguageServers, Ack),
(OpenContext, OpenContextResponse),
(SynchronizeContexts, SynchronizeContextsResponse),
// Remote development
(AddWorktree, AddWorktreeResponse),
);