| OLD | NEW |
| 1 <html> | 1 <html> |
| 2 <head id="head"> | 2 <head id="head"> |
| 3 <script type="text/javascript"> | 3 <script type="text/javascript"> |
| 4 function print(message, color) { | 4 function print(message, color) { |
| 5 var paragraph = document.createElement("div"); | 5 var paragraph = document.createElement("div"); |
| 6 paragraph.appendChild(document.createTextNode(message)); | 6 paragraph.appendChild(document.createTextNode(message)); |
| 7 paragraph.style.fontFamily = "monospace"; | 7 paragraph.style.fontFamily = "monospace"; |
| 8 if (color) | 8 if (color) |
| 9 paragraph.style.color = color; | 9 paragraph.style.color = color; |
| 10 document.getElementById("console").appendChild(paragraph); | 10 document.getElementById("console").appendChild(paragraph); |
| (...skipping 28 matching lines...) Expand all Loading... |
| 39 <img id="image2" style="display:none" onerror="results[1] = false;" /> | 39 <img id="image2" style="display:none" onerror="results[1] = false;" /> |
| 40 <img id="image3" style="display:none" src="" onerror="results[2] = true;" /> | 40 <img id="image3" style="display:none" src="" onerror="results[2] = true;" /> |
| 41 <script type="text/javascript"> | 41 <script type="text/javascript"> |
| 42 var imgNode1 = document.getElementById("image1"); | 42 var imgNode1 = document.getElementById("image1"); |
| 43 imgNode1.removeAttribute("src"); | 43 imgNode1.removeAttribute("src"); |
| 44 document.getElementById("head").appendChild(document.createElement("base
")).setAttribute("href", "http://127.0.0.1:8888/"); | 44 document.getElementById("head").appendChild(document.createElement("base
")).setAttribute("href", "http://127.0.0.1:8888/"); |
| 45 </script> | 45 </script> |
| 46 <img id="image4" style="display:none" src="" onerror="results[3] = true;" /> | 46 <img id="image4" style="display:none" src="" onerror="results[3] = true;" /> |
| 47 </body> | 47 </body> |
| 48 </html> | 48 </html> |
| OLD | NEW |