OLD | NEW |
(Empty) | |
| 1 <!DOCTYPE html> |
| 2 |
| 3 <html> |
| 4 <head> |
| 5 <meta charset="utf-8"> |
| 6 <meta name="viewport" content="width=device-width, initial-scale=1"> |
| 7 |
| 8 <style> |
| 9 div { |
| 10 background: #ffffff; |
| 11 text-align: center; |
| 12 width: 50%; |
| 13 margin: 10% 10% 25% 25%; |
| 14 } |
| 15 |
| 16 div#worked { |
| 17 border: 5px solid green; |
| 18 color: green; |
| 19 } |
| 20 |
| 21 div#failed { |
| 22 border: 5px solid red; |
| 23 color: red; |
| 24 } |
| 25 |
| 26 .cached_file_done { |
| 27 font-family: arial; |
| 28 font-size: 24pt; |
| 29 } |
| 30 |
| 31 .cached_file_name { |
| 32 color: gray; |
| 33 font-size: 16pt; |
| 34 vertical-align: text-bottom; |
| 35 } |
| 36 </style> |
| 37 |
| 38 <script async type="application/dart" src="generate_cached_patches.dart"></s
cript> |
| 39 <script async src="packages/browser/dart.js"></script> |
| 40 </head> |
| 41 <body> |
| 42 <div id=worked> |
| 43 <span class=cached_file_done>Close Dartium</span><br/><br/> |
| 44 <span class=cached_file_done>File: </span> |
| 45 <span class=cached_file_name>sdk/lib/js/dartium/cached_patches.dart</spa
n><br/><br/> |
| 46 <span class=cached_file_done>GENERATED</span> |
| 47 </div> |
| 48 <div id=failed style="display: none;"> |
| 49 <span class=cached_file_done>FAILED</span><br/><br/> |
| 50 <span class=cached_file_done>File: </span> |
| 51 <span class=cached_file_name>sdk/lib/js/dartium/cached_patches.dart</spa
n><br/><br/> |
| 52 <span class=cached_file_done>NOT GENERATED</span> |
| 53 </div> |
| 54 </body> |
| 55 </html> |
| 56 |
OLD | NEW |