Always try to hide the message box (closes #1484353)

thomascube

2007-05-17 258f1e544ba3c485fca920e625bdcb08c4deb17b

Always try to hide the message box (closes #1484353)

 program/js/app.js

@@ -968,7 +968,7 @@

      this.display_message(msg, 'loading', true);
      }
    else if (!a && this.busy)
    else if (!a)
      this.hide_message();

    this.busy = a;