[serverctl] rename remove_cube to drop_cube (closes #4545093)
For the sake of consistency, since commands are currently named:
- add_{cube,entity,attribute,relation}
- drop_{entity,attribute,relation}
- remove_cube
// 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]();
}
}