| OLD | NEW | 
 | (Empty) | 
|   1 <html> |  | 
|   2 <head> |  | 
|   3 <script> |  | 
|   4  |  | 
|   5 if (window.testRunner) |  | 
|   6     testRunner.dumpAsText(); |  | 
|   7 if (window.internals) |  | 
|   8     internals.setJavaScriptProfilingEnabled(true); |  | 
|   9  |  | 
|  10 function pageFunction() |  | 
|  11 { |  | 
|  12     console.profile(); // Untitled |  | 
|  13     console.profile("titled"); |  | 
|  14     console.profileEnd(); |  | 
|  15     console.profileEnd(); |  | 
|  16 } |  | 
|  17  |  | 
|  18 function startTest() |  | 
|  19 { |  | 
|  20     pageFunction(); |  | 
|  21     printResult(); |  | 
|  22     if (window.testRunner) |  | 
|  23         testRunner.notifyDone(); |  | 
|  24 } |  | 
|  25  |  | 
|  26 function printResult() |  | 
|  27 { |  | 
|  28     var preElement = document.createElement("pre"); |  | 
|  29     preElement.appendChild(document.createTextNode("\n")); |  | 
|  30  |  | 
|  31     var profiles = console.profiles; |  | 
|  32     preElement.appendChild(document.createTextNode("Profiles count: " + profiles
    .length + "\n")); |  | 
|  33     for (var i = 0; i < profiles.length; ++i) { |  | 
|  34         if (profiles[i].title === "titled") |  | 
|  35             preElement.appendChild(document.createTextNode("Titled profile found
    .\n")); |  | 
|  36     } |  | 
|  37     document.getElementById("output").appendChild(preElement); |  | 
|  38 } |  | 
|  39  |  | 
|  40 </script> |  | 
|  41 </head> |  | 
|  42 <body onload="startTest()"> |  | 
|  43 <p> |  | 
|  44 Tests that "console.profileEnd()" do not cause crash.<br> |  | 
|  45 <a href="https://bugs.webkit.org/show_bug.cgi?id=105759">Bug 105759.</a><br> |  | 
|  46 <div id="output"></div> |  | 
|  47 </p> |  | 
|  48 </body> |  | 
|  49 </html> |  | 
| OLD | NEW |