add final agg

fzhedu · fzhedu · commit c331ffe158a2 · 2020-12-23T23:02:10.000+08:00
diff --git a/proto/executor.proto b/proto/executor.proto
@@ -140,6 +140,8 @@ message Aggregation {
 	// If it is a stream aggregation.
 	optional bool streamed = 3 [(gogoproto.nullable) = false];
 	optional Executor child = 6;
+	// If it is a final aggregation.
+	optional bool final = 7 [(gogoproto.nullable) = false];
 }
 
 message TopN {

Original file line number	Diff line number	Diff line change
`@@ -140,6 +140,8 @@ message Aggregation {`
`140`	`140`	`// If it is a stream aggregation.`
`141`	`141`	`optional bool streamed = 3 [(gogoproto.nullable) = false];`
`142`	`142`	`optional Executor child = 6;`
	`143`	`+ // If it is a final aggregation.`
	`144`	`+ optional bool final = 7 [(gogoproto.nullable) = false];`
`143`	`145`	`}`
`144`	`146`
`145`	`147`	`message TopN {`