function check_flag()

in script/doc.js [9:13]


function check_flag() {
    if ($("body").hasClass("complete")) {
        throw "Document processing is already complete.";
    }
}