[server] drop system_source_cnx for a simpler internal API system_source_cnx() can be replaced with source_cnx(). If system_source_cnx() is called with dbms_system_base=False, it is strictly equivalent to calling source_cnx() with the same source, privileges and interactivity. If system_source_cnx() is called with dbms_system_base=True, it is equivalent to calling source_cnx() with the system database and the same source, privileges and interactivity. No use of the default value for 'special_privs' was found in the code.

     1

// This contains template-specific javascript

     2

     3

function filterLog(domid, thresholdLevel) {

     4

    var logLevels = ["Debug", "Info", "Warning", "Error", "Fatal"]

     5

    var action = "hide";

     6

    for (var idx = 0; idx < logLevels.length; idx++){

     7

        var level = logLevels[idx];

     8

        if (level === thresholdLevel){

     9

            action = "show";

    10

        }

    11

        $('#'+domid+' .log' + level)[action]();

    12

    }

    13

}