| <!DOCTYPE html> |
| |
| <html> |
| <head> |
| <meta charset="utf-8"> |
| <meta name="viewport" content="width=device-width, initial-scale=1"> |
| |
| <style> |
| div { |
| background: #ffffff; |
| text-align: center; |
| width: 50%; |
| margin: 10% 10% 25% 25%; |
| } |
| |
| div#worked { |
| border: 5px solid green; |
| color: green; |
| } |
| |
| div#failed { |
| border: 5px solid red; |
| color: red; |
| } |
| |
| .cached_file_done { |
| font-family: arial; |
| font-size: 24pt; |
| } |
| |
| .cached_file_name { |
| color: gray; |
| font-size: 16pt; |
| vertical-align: text-bottom; |
| } |
| </style> |
| |
| <script async type="application/dart" src="generate_cached_patches.dart"></script> |
| <script async src="packages/browser/dart.js"></script> |
| </head> |
| <body> |
| <div id=worked> |
| <span class=cached_file_done>Close Dartium</span><br/><br/> |
| <span class=cached_file_done>File: </span> |
| <span class=cached_file_name>sdk/lib/js/dartium/cached_patches.dart</span><br/><br/> |
| <span class=cached_file_done>GENERATED</span> |
| </div> |
| <div id=failed style="display: none;"> |
| <span class=cached_file_done>FAILED</span><br/><br/> |
| <span class=cached_file_done>File: </span> |
| <span class=cached_file_name>sdk/lib/js/dartium/cached_patches.dart</span><br/><br/> |
| <span class=cached_file_done>NOT GENERATED</span> |
| </div> |
| </body> |
| </html> |
| |
