Send last fetch time with 'refresh' requests and allow plugins to alter que...

Thomas Bruederli

2013-10-21 b461a2d72ea1fa2f7488710e5c5329848adf43fd

 program/js/app.js

@@ -463,6 +463,7 @@

    // flag object as complete
    this.loaded = true;
    this.env.lastrefresh = new Date();

    // show message
    if (this.pending_message)
@@ -6298,7 +6299,7 @@
      if (result === false)
        return false;
      else
        query = result;
        url = this.url(action, result);
    }

    url += '&_remote=1';
@@ -6743,6 +6744,9 @@
    if (this.task == 'mail' && this.gui_objects.mailboxlist)
      params = this.check_recent_params();

    params._last = Math.floor(this.env.lastrefresh.getTime() / 1000);
    this.env.lastrefresh = new Date();

    // plugins should bind to 'requestrefresh' event to add own params
    this.http_request('refresh', params, lock);
  };