feat: flush flow request (#182)

* feat: flush flow

* chore: make all

* chore: newline
This commit is contained in:
discord9
2024-07-22 14:35:19 +08:00
committed by GitHub
parent 5c80165043
commit 7ca323090b
4 changed files with 1568 additions and 63 deletions
+5
View File
@@ -53,6 +53,7 @@ message FlowRequest {
oneof body {
CreateRequest create = 1;
DropRequest drop = 2;
FlushFlow flush = 3;
}
}
@@ -81,3 +82,7 @@ message CreateRequest {
}
message DropRequest { FlowId flow_id = 1; }
message FlushFlow {
FlowId flow_id = 1;
}