Function headerLookupSelection

web_server/public/javascripts/headers.js:147–152

(ev)

}

function headerLookupSelection(ev) {
    clearErrorHandler();
    let header = ev.target.value;
    let zone = document.getElementById("zone").value;
    doHeaderLookup(header, zone);
}

function resetPort(ev) {
    if (headerSource === "zgrab") {