Index: chrome/browser/resources/workers/index.html |
diff --git a/chrome/browser/resources/workers/index.html b/chrome/browser/resources/workers/index.html |
new file mode 100644 |
index 0000000000000000000000000000000000000000..72daf4cd4245d84b5e50e1144b4916c6891954c5 |
--- /dev/null |
+++ b/chrome/browser/resources/workers/index.html |
@@ -0,0 +1,66 @@ |
+<html> |
+<title>Workers</title> |
+<style> |
+thead { |
+ background: #E0ECFF; |
+} |
+td { |
+ padding: 0 15px 0 15px; |
+} |
+ |
+</style> |
+<script> |
+function requestData() { |
+ var xhr = new XMLHttpRequest(); |
+ xhr.open('GET', 'workers_data.json', false); |
+ xhr.send(null); |
+ if (xhr.status === 200) |
+ return JSON.parse(xhr.responseText); |
+ return []; |
+} |
+ |
+function addColumn(row, value) { |
+ var column = document.createElement("td"); |
+ column.textContent = value; |
+ row.appendChild(column); |
+} |
+ |
+function populateWorkerList() { |
+ var data = requestData(); |
+ |
+ var worker_properties = ["id", "url", "name", "pid"]; |
+ |
+ var list = document.getElementById("workers-table"); |
+ for (var i = 0; i < data.length; i++) { |
+ var workerData = data[i]; |
+ var row = document.createElement("tr"); |
+ for (var j = 0; j < worker_properties.length; j++) |
+ addColumn(row, workerData[worker_properties[j]]); |
+ |
+ var column = document.createElement("td"); |
+ var link = document.createElement("a"); |
+ link.setAttribute("href", workerData.url); |
+ link.textContent = "inspect"; |
+ column.appendChild(link); |
+ row.appendChild(column); |
+ |
+ list.appendChild(row); |
+ } |
+} |
+</script> |
+<body onload="populateWorkerList()"> |
+<h2>Shared workers:</h2> |
+<table> |
+<thead> |
+<tr> |
+ <th>Id</th> |
+ <th>URL</th> |
+ <th>Name</th> |
+ <th>Process id</th> |
+</tr> |
+</thead> |
+<tbody id="workers-table"> |
+</tbody> |
+</table> |
+</body> |
+</html> |