()
| 30 | } |
| 31 | |
| 32 | function build_page() { |
| 33 | if (CustomScriptSourcesEnabled) { |
| 34 | zgrab_http_headers = Object.assign({}, zgrab_http_headers, custom_http_headers_map); |
| 35 | } |
| 36 | let path = window.location.pathname; |
| 37 | headerSource = qs("source"); |
| 38 | if (headerSource == null) { |
| 39 | headerSource = ScanDataSources; |
| 40 | } |
| 41 | if (path === "/meta/headers") { |
| 42 | let headSelect = document.getElementById("headerSelect"); |
| 43 | headSelect.addEventListener("change", headerLookupSelection); |
| 44 | let portSelect = document.getElementById("portInfo"); |
| 45 | portSelect.addEventListener("change", resetPort); |
| 46 | for (let key in zgrab_http_headers) { |
| 47 | buildReportsSelect(key, "", ""); |
| 48 | } |
| 49 | let updateButton = document.getElementById("updateZone"); |
| 50 | updateButton.addEventListener("click", updateFilter); |
| 51 | let updateForm = document.getElementById("zoneFilter"); |
| 52 | updateForm.addEventListener("submit", updateFilter); |
| 53 | } else if (path === "/meta/header_details") { |
| 54 | let header = qs("header"); |
| 55 | let value = qs("value"); |
| 56 | let zone = qs("zone"); |
| 57 | doHeaderValueLookup(header, value, zone); |
| 58 | } |
| 59 | } |
| 60 | |
| 61 | function addHeaderSelectItem(result, args) { |
| 62 | let name = args[0]; |
no test coverage detected