(result, args)
| 59 | } |
| 60 | |
| 61 | function addHeaderSelectItem(result, args) { |
| 62 | let name = args[0]; |
| 63 | let selected = args[1]; |
| 64 | var headSelect = document.getElementById("headerSelect"); |
| 65 | for (var header in zgrab_http_headers) { |
| 66 | if (header === name) { |
| 67 | let opt = document.createElement('option'); |
| 68 | opt.appendChild(document.createTextNode(header + " - " + result["count"])); |
| 69 | opt.value = header; |
| 70 | |
| 71 | if (name === selected) { |
| 72 | opt.selected = true; |
| 73 | } |
| 74 | headSelect.appendChild(opt); |
| 75 | } |
| 76 | } |
| 77 | } |
| 78 | |
| 79 | |
| 80 | function buildReportsSelect(header, zone, selected) { |
nothing calls this directly
no outgoing calls
no test coverage detected