File content as of revision 86:f3c9beec4ee7:

"'use strict';\n"
"\n"
"var response     = '';\n"
"var headers      = '';\n"
"var arp          = '';\n"
"var dns          = '';\n"
"\n"
"function parseAjax()\n"
"{\n"
"    var topics = response.split('\\f');\n"
"    arp = topics[0];\n"
"    dns = topics[1];\n"
"}\n"
"function displayGeneral()\n"
"{\n"
"   var elem;\n"
"\n"
"   elem = document.getElementById('ajax-response' ); if (elem) elem.textContent = response;\n"
"   elem = document.getElementById('ajax-headers'  ); if (elem) elem.textContent = headers;\n"
"   elem = document.getElementById('ajax-arp'      ); if (elem) elem.textContent = arp;\n"
"   elem = document.getElementById('ajax-dns'      ); if (elem) elem.textContent = dns;\n"
"}\n"
"\n"
"var ajax;\n"
"function AjaxRequest(request) //Used by this script and from HTML page\n"
"{\n"
"   ajax=new XMLHttpRequest();\n"
"   ajax.onreadystatechange=handleAjaxResponse;\n"
"   if (request) ajax.open('GET', '/net6-ajax' + '?' + request, true);\n"
"   else         ajax.open('GET', '/net6-ajax'                , true);\n"
"   ajax.send();\n"
"}\n"
"function requestAjax() //Used in this script\n"
"{\n"
"   AjaxRequest('');\n"
"}\n"
"\n"
"function handleAjaxResponse()\n"
"{\n"
"   if (ajax.readyState==4 && ajax.status==200)\n"
"   {\n"
"       response = ajax.responseText;\n"
"       headers  = ajax.getAllResponseHeaders();\n"
"       parseAjax();\n"
"       displayGeneral();\n"
"   }\n"
"}\n"
"\n"
"function init()\n"
"{\n"
"    setInterval(requestAjax, 10000);\n"
"    requestAjax();\n"
"}\n"
"if (document.readyState === 'loading') document.addEventListener('DOMContentLoaded', init ); // Loading hasn't finished yet\n"
"else                                                                                 init(); //`DOMContentLoaded` has already fired\n"
""