public static ExecutionCompleted Deserialize(IPCReader reader) => new ExecutionCompleted
{
Status = (ExecutionStatus)reader.ReadByte(),
ExitCode = reader.ReadInt32(),
Stdout = reader.ReadString(),
Stderr = reader.ReadString(),
ExecutionTime = reader.ReadInt64(),
};
public static ListFilesResponse Deserialize(IPCReader reader)
{
var length = reader.Read7BitEncodedInt();
var files = new FileMetadata[length];
for (int i = 0; i < length; ++i)
{
files[i] = new FileMetadata(reader.ReadString(), reader.ReadInt64(), reader.ReadDateTime());
}
return(new ListFilesResponse {
Files = files
});
}
