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 |