2019-01-11 19:33:44 +00:00
|
|
|
syntax = "proto3";
|
|
|
|
import "command.proto";
|
|
|
|
import "node.proto";
|
2019-01-18 21:46:40 +00:00
|
|
|
import "vscode.proto";
|
2019-01-11 19:33:44 +00:00
|
|
|
|
|
|
|
message ClientMessage {
|
2019-01-12 19:44:29 +00:00
|
|
|
oneof msg {
|
|
|
|
// command.proto
|
|
|
|
NewSessionMessage new_session = 1;
|
|
|
|
ShutdownSessionMessage shutdown_session = 2;
|
|
|
|
WriteToSessionMessage write_to_session = 3;
|
|
|
|
CloseSessionInputMessage close_session_input = 4;
|
|
|
|
ResizeSessionTTYMessage resize_session_tty = 5;
|
2019-01-18 21:46:40 +00:00
|
|
|
NewConnectionMessage new_connection = 6;
|
|
|
|
ConnectionOutputMessage connection_output = 7;
|
|
|
|
ConnectionCloseMessage connection_close = 8;
|
|
|
|
|
2019-01-12 19:44:29 +00:00
|
|
|
// node.proto
|
2019-01-18 21:46:40 +00:00
|
|
|
NewEvalMessage new_eval = 9;
|
|
|
|
|
|
|
|
SharedProcessInitMessage shared_process_init = 10;
|
2019-01-12 19:44:29 +00:00
|
|
|
}
|
2019-01-11 19:33:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
message ServerMessage {
|
2019-01-12 19:44:29 +00:00
|
|
|
oneof msg {
|
|
|
|
// command.proto
|
|
|
|
NewSessionFailureMessage new_session_failure = 1;
|
|
|
|
SessionDoneMessage session_done = 2;
|
|
|
|
SessionOutputMessage session_output = 3;
|
|
|
|
IdentifySessionMessage identify_session = 4;
|
2019-01-18 21:46:40 +00:00
|
|
|
NewConnectionFailureMessage connection_failure = 5;
|
|
|
|
ConnectionOutputMessage connection_output = 6;
|
|
|
|
ConnectionCloseMessage connection_close = 7;
|
|
|
|
ConnectionEstablishedMessage connection_established = 8;
|
2019-01-12 19:44:29 +00:00
|
|
|
|
|
|
|
// node.proto
|
2019-01-18 21:46:40 +00:00
|
|
|
EvalFailedMessage eval_failed = 9;
|
|
|
|
EvalDoneMessage eval_done = 10;
|
2019-01-15 18:36:09 +00:00
|
|
|
|
2019-01-18 21:46:40 +00:00
|
|
|
WorkingInitMessage init = 11;
|
2019-01-12 19:44:29 +00:00
|
|
|
}
|
|
|
|
}
|
2019-01-15 18:36:09 +00:00
|
|
|
|
2019-01-18 21:46:40 +00:00
|
|
|
message WorkingInitMessage {
|
2019-01-15 18:36:09 +00:00
|
|
|
string home_directory = 1;
|
|
|
|
string tmp_directory = 2;
|
|
|
|
string data_directory = 3;
|
|
|
|
string working_directory = 4;
|
|
|
|
enum OperatingSystem {
|
|
|
|
Windows = 0;
|
|
|
|
Linux = 1;
|
|
|
|
Mac = 2;
|
|
|
|
}
|
|
|
|
OperatingSystem operating_system = 5;
|
2019-01-18 21:46:40 +00:00
|
|
|
}
|