| Index: runtime/observatory/lib/src/app/page.dart
|
| diff --git a/runtime/observatory/lib/src/app/page.dart b/runtime/observatory/lib/src/app/page.dart
|
| index 0129c3483241971b0cf60005fb511c885deb1f34..365e227818c0e558cdc633ccb0129b7608ed82a7 100644
|
| --- a/runtime/observatory/lib/src/app/page.dart
|
| +++ b/runtime/observatory/lib/src/app/page.dart
|
| @@ -84,7 +84,7 @@ class ErrorPage extends Page {
|
| void onInstall() {
|
| if (element == null) {
|
| // Lazily create page.
|
| - element = new Element.tag('general-error');
|
| + element = new GeneralErrorElement(app.notifications, queue: app.queue);
|
| }
|
| }
|
|
|
| @@ -92,17 +92,7 @@ class ErrorPage extends Page {
|
| assert(element != null);
|
| assert(canVisit(uri));
|
|
|
| - /*
|
| - if (uri.path == '') {
|
| - // Nothing requested.
|
| - return;
|
| - }
|
| - */
|
| -
|
| - if (element != null) {
|
| - GeneralErrorElement serviceElement = element;
|
| - serviceElement.message = "Path '${uri.path}' not found";
|
| - }
|
| + (element as GeneralErrorElement).message = "Path '${uri.path}' not found";
|
| }
|
|
|
| /// Catch all.
|
|
|