OLD | NEW |
(Empty) | |
| 1 <html> |
| 2 <title>Workers</title> |
| 3 <style> |
| 4 thead { |
| 5 background: #E0ECFF; |
| 6 } |
| 7 td { |
| 8 padding: 0 15px 0 15px; |
| 9 } |
| 10 |
| 11 </style> |
| 12 <script> |
| 13 function requestData() { |
| 14 var xhr = new XMLHttpRequest(); |
| 15 xhr.open('GET', 'workers_data.json', false); |
| 16 xhr.send(null); |
| 17 if (xhr.status === 200) |
| 18 return JSON.parse(xhr.responseText); |
| 19 return []; |
| 20 } |
| 21 |
| 22 function addColumn(row, value) { |
| 23 var column = document.createElement("td"); |
| 24 column.textContent = value; |
| 25 row.appendChild(column); |
| 26 } |
| 27 |
| 28 function populateWorkerList() { |
| 29 var data = requestData(); |
| 30 |
| 31 var worker_properties = ["id", "url", "name", "pid"]; |
| 32 |
| 33 var list = document.getElementById("workers-table"); |
| 34 for (var i = 0; i < data.length; i++) { |
| 35 var workerData = data[i]; |
| 36 var row = document.createElement("tr"); |
| 37 for (var j = 0; j < worker_properties.length; j++) |
| 38 addColumn(row, workerData[worker_properties[j]]); |
| 39 |
| 40 var column = document.createElement("td"); |
| 41 var link = document.createElement("a"); |
| 42 link.setAttribute("href", workerData.url); |
| 43 link.textContent = "inspect"; |
| 44 column.appendChild(link); |
| 45 row.appendChild(column); |
| 46 |
| 47 list.appendChild(row); |
| 48 } |
| 49 } |
| 50 </script> |
| 51 <body onload="populateWorkerList()"> |
| 52 <h2>Shared workers:</h2> |
| 53 <table> |
| 54 <thead> |
| 55 <tr> |
| 56 <th>Id</th> |
| 57 <th>URL</th> |
| 58 <th>Name</th> |
| 59 <th>Process id</th> |
| 60 </tr> |
| 61 </thead> |
| 62 <tbody id="workers-table"> |
| 63 </tbody> |
| 64 </table> |
| 65 </body> |
| 66 </html> |
OLD | NEW |