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