Add benchmark for WebKit process launch times
[WebKit-https.git] / PerformanceTests / LaunchTime / feedback_client.html
1 <!DOCTYPE html>
2 <html>
3   <head>
4     <title>Launch Time Benchmark</title>
5     <script src="http://code.jquery.com/jquery-1.9.1.min.js"></script>
6   </head>
7   <body style="font-family: -apple-system; font-size:1.5em;">
8     <h2>Benchmark Progress</h2>
9     <p id="output" style="white-space: pre-line;"></p>
10     <strong id="done"></strong>
11   </body>
12 </html>
13 <script>
14   if (!("WebSocket" in window)) {
15     alert("Your browser does not support web sockets");
16   } else {
17     setup();
18   }
19
20   function setup() {
21     const host = "ws://localhost:{{ port }}/ws";
22     const socket = new WebSocket(host);
23
24     if (socket) {
25       socket.onmessage = message => showServerMessage(message.data);
26       socket.onclose = () => document.getElementById('done').textContent = 'DONE';
27     } else {
28       console.log("invalid socket");
29     }
30
31     function showServerMessage(text) {
32       text = text.replace(/\n/g, "\r\n");
33       const output = document.getElementById('output');
34       output.textContent = output.textContent.concat(text)
35     }
36   }
37 </script>