OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 // Bootstrap support for Dart scripts on the page as this script. | 5 // Bootstrap support for Dart scripts on the page as this script. |
6 if (navigator.webkitStartDart) { | 6 if (navigator.webkitStartDart) { |
7 if (!navigator.webkitStartDart()) { | 7 var expirationDate = navigator.webkitStartDart(); |
8 document.body.innerHTML = 'This build has expired. Please download a new Da
rtium at http://www.dartlang.org/dartium/index.html'; | 8 if (expirationDate) { |
| 9 document.body.innerHTML = 'This build has expired on ' + expirationDate + '.
Please download a new Dartium at http://www.dartlang.org/dartium/index.html'; |
9 } | 10 } |
10 } else { | 11 } else { |
11 // TODO: | 12 // TODO: |
12 // - Support in-browser compilation. | 13 // - Support in-browser compilation. |
13 // - Handle inline Dart scripts. | 14 // - Handle inline Dart scripts. |
14 window.addEventListener("DOMContentLoaded", function (e) { | 15 window.addEventListener("DOMContentLoaded", function (e) { |
15 // Fall back to compiled JS. Run through all the scripts and | 16 // Fall back to compiled JS. Run through all the scripts and |
16 // replace them if they have a type that indicate that they source | 17 // replace them if they have a type that indicate that they source |
17 // in Dart code. | 18 // in Dart code. |
18 // | 19 // |
(...skipping 208 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
227 var result = null; | 228 var result = null; |
228 var listener = function (e) { | 229 var listener = function (e) { |
229 result = JSON.parse(e.data); | 230 result = JSON.parse(e.data); |
230 }; | 231 }; |
231 window.addEventListener(source, listener, false); | 232 window.addEventListener(source, listener, false); |
232 dispatchEvent(target, [source, serialized]); | 233 dispatchEvent(target, [source, serialized]); |
233 window.removeEventListener(source, listener, false); | 234 window.removeEventListener(source, listener, false); |
234 return deserialize(result); | 235 return deserialize(result); |
235 } | 236 } |
236 })(); | 237 })(); |
OLD | NEW |