Function page_forward

web_server/public/javascripts/utilities.js:412–419

(url, base_query, formName)

function page_forward(url, base_query, formName) {
    if (PAGING_CLICK_WAIT) {
        return false;
    }

    PAGE = PAGE + 1;
    refresh(url, base_query, formName);
}

function sleep(ms) {
    return new Promise(resolve => setTimeout(resolve, ms));