| Index: tools/gardening/lib/src/bot.dart
|
| diff --git a/tools/gardening/lib/src/bot.dart b/tools/gardening/lib/src/bot.dart
|
| index 56015c326c548fd1b315527736db82006c115b60..d8893f95bbb2ea030c624583d5b141b3a9b1a937 100644
|
| --- a/tools/gardening/lib/src/bot.dart
|
| +++ b/tools/gardening/lib/src/bot.dart
|
| @@ -40,6 +40,9 @@ class Bot {
|
| return _client.readResult(buildUri);
|
| }
|
|
|
| + /// Maximum number of [BuildResult]s read concurrently by [readResults].
|
| + static const maxParallel = 20;
|
| +
|
| /// Reads the build results of all given uris.
|
| ///
|
| /// Returns a list of the results. If a uri couldn't be read, then the entry
|
| @@ -47,7 +50,6 @@ class Bot {
|
| Future<List<BuildResult>> readResults(List<BuildUri> buildUris) async {
|
| var result = <BuildResult>[];
|
| int i = 0;
|
| - const maxParallel = 20;
|
| while (i < buildUris.length) {
|
| var end = i + maxParallel;
|
| if (end > buildUris.length) end = buildUris.length;
|
| @@ -60,7 +62,7 @@ class Bot {
|
| }
|
| return result;
|
| })));
|
| - i = end + 1;
|
| + i = end;
|
| }
|
| return result;
|
| }
|
|
|