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. |