| Index: runtime/observatory/web/main.dart
|
| diff --git a/runtime/observatory/web/main.dart b/runtime/observatory/web/main.dart
|
| index 5880006dccc374b813bcd52f44a15b69034a46bd..09ad35604f97d9d9bf0fc199b662d8d207b7d8ab 100644
|
| --- a/runtime/observatory/web/main.dart
|
| +++ b/runtime/observatory/web/main.dart
|
| @@ -21,11 +21,13 @@ main() {
|
| Logger.root.info('Starting Observatory');
|
| GoogleChart.initOnce().then((_) {
|
| // Charts loaded, initialize polymer.
|
| - Logger.root.info('Initializing Polymer');
|
| - try {
|
| - initPolymer();
|
| - } catch (e) {
|
| - Logger.root.severe('Error initializing polymer: $e');
|
| - }
|
| + initPolymer().run(() {
|
| + Logger.root.info('Polymer initialized');
|
| + // Code here is in the polymer Zone, which ensures that
|
| + // @observable properties work correctly.
|
| + Polymer.onReady.then((_) {
|
| + Logger.root.info('Polymer elements have been upgraded');
|
| + });
|
| + });
|
| });
|
| }
|
|
|