1. 08 Nov, 2015 3 commits
  2. 05 Nov, 2015 4 commits
  3. 04 Nov, 2015 6 commits
  4. 03 Nov, 2015 6 commits
  5. 02 Nov, 2015 14 commits
  6. 30 Oct, 2015 1 commit
    • Vermaat's avatar
      Process batch jobs grouped by email address · 7e0db497
      Vermaat authored
      We previously processed batch jobs round robin, i.e., one item
      for each job per round. This is fair from the job point of view,
      but not from the user point of view when one user has many jobs.
      
      We now process batch jobs one item for each user per round,
      where we pick the oldest job if a user has more than one. Users
      are defined by their email address.
      
      Batch jobs submitted via the webservices all have the same email
      address, so they are effectively throttled as if all from the
      same user. Adapting the webservices to also allow setting an
      email address is future work.
      7e0db497
  7. 29 Oct, 2015 2 commits
  8. 26 Oct, 2015 4 commits