mirrors/krata
1
0
Fork 0
mirror of https://github.com/edera-dev/krata.git synced 2025-08-03 21:21:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

krata: fix guest destruction

Browse Source
This commit is contained in:
Alex Zenla
2024-03-30 03:49:13 +00:00
parent d659b3aa55
commit da9e6cac14
12 changed files with 103 additions and 122 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
crates/krata/proto/krata/internal/idm.proto
View File

@ -6,12 +6,16 @@ option java_multiple_files = true;
option java_package = "dev.krata.proto.internal.idm";
option java_outer_classname = "IdmProto";
message IdmExitMessage {
message IdmExitEvent {
int32 code = 1;
}
message IdmPacket {
oneof message {
IdmExitMessage exit = 1;
message IdmEvent {
oneof event {
IdmExitEvent exit = 1;
}
}
message IdmPacket {
IdmEvent event = 1;
}