alecpl
2009-05-17 74d421d55ae35a18440d738245fbc68c7f75d5b4
program/js/app.js
@@ -3945,7 +3945,8 @@
    this.set_busy(false);
    request.abort();
    
    this.display_message('Unknown Server Error!' + (errmsg ? ' ('+errmsg+')' : ''), 'error');
    if (errmsg)
      this.display_message(this.get_label('servererror') + ' (' + errmsg + ')', 'error');
    };
  // use an image to send a keep-alive siganl to the server