Function custom_check

web_server/public/javascripts/headers.js:20–30

()

var headerPort = "443";

function custom_check() {
    if (CustomScriptSourcesEnabled) {
        var scr = document.createElement('script');
        scr.type = 'text/javascript';
        scr.addEventListener('load', build_page);
        scr.src = CustomScriptSrc;
        document.head.appendChild(scr);
    } else {
        build_page();
    }
}

function build_page() {
    if (CustomScriptSourcesEnabled) {