Make the GROUP_CONCAT aggregate function not repeat values (closes #3223975)
Work on sets instead of arrays, so if the same value appears twice it's
not repeated in the concatenated output.
This patch handles the postgresql and sqlite backends, mysql is left
alone at this point (seems doable, but I don't have time or motivation
to fix and test it).
// This contains template-specific javascript
function filterLog(domid, thresholdLevel) {
var logLevels = ["Debug", "Info", "Warning", "Error", "Fatal"]
var action = "hide";
for (var idx = 0; idx < logLevels.length; idx++){
var level = logLevels[idx];
if (level === thresholdLevel){
action = "show";
}
$('#'+domid+' .log' + level)[action]();
}
}