view static/js/common.js @ 303:59e0087c784a

Move javascript directory to js directory

We have a nameclash on the server as a common javascript directory is mapped to
/javascript. So that we do not clash we use our own one named js.

var resetted = false;
function resetBar() {
    if (!resetted) {
        document.getElementById('keyword').value = '';
        resetted = true;
    }
}