OLD | NEW |
(Empty) | |
| 1 <script src="../../../resources/get-host-info.js"></script> |
| 2 <script> |
| 3 var host_info = get_host_info(); |
| 4 |
| 5 window.addEventListener('error', function(evt) { |
| 6 window.parent.postMessage( |
| 7 { |
| 8 filename: evt.filename, |
| 9 colno: evt.colno, |
| 10 lineno: evt.lineno, |
| 11 message: evt.message |
| 12 }, |
| 13 host_info['HTTP_ORIGIN']); |
| 14 }); |
| 15 |
| 16 window.addEventListener('message', function(evt) { |
| 17 var script = document.createElement('script'); |
| 18 script.src = evt.data.url; |
| 19 document.body.appendChild(script); |
| 20 }); |
| 21 </script> |
OLD | NEW |