| <!DOCTYPE html> | |
| <html> | |
| <body> | |
| <div id="result">Running...</div> | |
| <script type="text/javascript"> | |
| var repeat = 0; | |
| var regex = new RegExp("#repeat(\\d+)"); | |
| var match = regex.exec(location.hash); | |
| if (match) | |
| repeat = parseInt(match[1]); | |
| if (repeat === 20) { | |
| document.getElementById("result").innerHTML = "Done."; | |
| parent.document.iframeFinished(); | |
| } else { | |
| new Worker("worker-reload.js"); | |
| location.href = "worker-reload-iframe.html#repeat" + (repeat + 1); | |
| setTimeout('location.reload()', 1); | |
| } | |
| </script> | |
| </body> | |
| </html> |