| Index: pkg/analysis_server/tool/instrumentation/server.dart
|
| diff --git a/pkg/analysis_server/tool/instrumentation/server.dart b/pkg/analysis_server/tool/instrumentation/server.dart
|
| index 324244c9d3bb0d67bc1c189d89f7c16aef360578..768c8b8fc6b0f6164ff97801d9052358c07fdd39 100644
|
| --- a/pkg/analysis_server/tool/instrumentation/server.dart
|
| +++ b/pkg/analysis_server/tool/instrumentation/server.dart
|
| @@ -186,8 +186,10 @@ class WebServer {
|
|
|
| void _writeLogPage(HttpRequest request, StringBuffer buffer) {
|
| Map<String, String> parameterMap = getParameterMap(request);
|
| + String groupId = parameterMap['group'];
|
| String startIndex = parameterMap['start'];
|
| LogPage page = new LogPage(log);
|
| + page.selectedGroup = EntryGroup.withId(groupId ?? 'nonTask');
|
| if (startIndex != null) {
|
| page.pageStart = int.parse(startIndex);
|
| } else {
|
|
|