| OLD | NEW |
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <!-- Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 2 <!-- Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 3 -- for details. All rights reserved. Use of this source code is governed by a | 3 -- for details. All rights reserved. Use of this source code is governed by a |
| 4 -- BSD-style license that can be found in the LICENSE file. | 4 -- BSD-style license that can be found in the LICENSE file. |
| 5 --> | 5 --> |
| 6 <html lang="en"> | 6 <html lang="en"> |
| 7 <head> | 7 <head> |
| 8 <title>incremental_compilation_update_test.html</title> | 8 <title>incremental_compilation_update_test.html</title> |
| 9 <meta charset="UTF-8"> | 9 <meta charset="UTF-8"> |
| 10 </head> | 10 </head> |
| (...skipping 22 matching lines...) Expand all Loading... |
| 33 /// its embedding parent page. | 33 /// its embedding parent page. |
| 34 function onMessage(e) { | 34 function onMessage(e) { |
| 35 if (e.data[0] === 'add-script') { | 35 if (e.data[0] === 'add-script') { |
| 36 // Received a message on the form ['add-script', uri]. | 36 // Received a message on the form ['add-script', uri]. |
| 37 // Install a new script tag with the uri. | 37 // Install a new script tag with the uri. |
| 38 var script = document.createElement('script'); | 38 var script = document.createElement('script'); |
| 39 script.src = e.data[1]; | 39 script.src = e.data[1]; |
| 40 script.type = 'application/javascript'; | 40 script.type = 'application/javascript'; |
| 41 document.body.appendChild(script); | 41 document.body.appendChild(script); |
| 42 } else if (e.data[0] === 'apply-update') { | 42 } else if (e.data[0] === 'apply-update') { |
| 43 self.$dart_unsafe_eval.patch(e.data[1]); | 43 self.$dart_unsafe_incremental_support.patch(e.data[1]); |
| 44 | 44 |
| 45 dartMainClosure(); | 45 dartMainClosure(); |
| 46 | 46 |
| 47 // Let the sandbox embedder know that main is done running. | 47 // Let the sandbox embedder know that main is done running. |
| 48 window.parent.postMessage('iframe-dart-updated-main-done', '*'); | 48 window.parent.postMessage('iframe-dart-updated-main-done', '*'); |
| 49 } else { | 49 } else { |
| 50 // Other messages are just logged. | 50 // Other messages are just logged. |
| 51 console.log(e); | 51 console.log(e); |
| 52 } | 52 } |
| 53 } | 53 } |
| 54 window.addEventListener('message', onMessage, false); | 54 window.addEventListener('message', onMessage, false); |
| 55 | 55 |
| 56 // Let the sandbox embedder know that this iframe is ready, that is, | 56 // Let the sandbox embedder know that this iframe is ready, that is, |
| 57 // listening for messages. | 57 // listening for messages. |
| 58 window.parent.postMessage('iframe-ready', '*'); | 58 window.parent.postMessage('iframe-ready', '*'); |
| 59 | 59 |
| 60 })(); | 60 })(); |
| 61 </script> | 61 </script> |
| 62 </body> | 62 </body> |
| 63 </html> | 63 </html> |
| OLD | NEW |