Function updateFilter

web_server/public/javascripts/headers.js:167–190

(ev)

}

function updateFilter(ev) {
    clearErrorHandler();
    let selectList = document.getElementById("headerSelect");
    let header = selectList.value;
    let zone = document.getElementById("zone").value;
    if (header != null) {
        doHeaderLookup(header, zone);
    }

    //Rebuild select menu with new values
    let selectDiv = document.getElementById("selectDiv");
    selectDiv.innerHTML = '<select class="custom-select" id="headerSelect" name="headerSelect" placeholder="Choose a header"><option value="" selected disabled>Choose an option</option></select>';
    for (let name in zgrab_http_headers) {
        buildReportsSelect(name, zone, header);
    }

    //Reassign event listener to new select element
    let headSelect = document.getElementById("headerSelect");
    headSelect.addEventListener("change", headerLookupSelection);

    ev.preventDefault();
    return false;

}

function displayValueSummary(results, args) {
    let header = args[0];