Luke Barnard
21e09840dc
Fix multiple requests for publicised groups of given user
...
Previously, a single user could end up in multiple batches, which would have been fine if the logic didn't assume otherwise. If a request took longer than 200ms, multiple batches would occur with intersecting sets of users, deleting promises that were then assumed to exist.
The logic now takes all "in flight" users to also not be "pending". Pending now means that the user will be processed in the next batch. "In flight" means the user is part of an ongoing batch.
2017-11-02 15:59:26 +00:00
..
2017-10-11 17:56:17 +01:00
2017-10-11 17:56:17 +01:00
2017-11-02 10:56:33 +00:00
2017-11-02 10:56:33 +00:00
2017-11-02 15:59:26 +00:00
2017-10-23 16:04:26 +01:00
2017-07-07 11:34:20 +01:00
2017-09-11 16:59:09 +01:00
2017-07-01 14:21:28 +01:00
2017-11-01 11:30:25 +00:00
2017-07-01 14:13:32 +01:00
2017-09-25 17:12:37 +02:00
2017-10-11 17:56:17 +01:00
2017-08-14 16:48:29 +01:00
2017-10-19 17:16:52 +01:00
2017-09-14 22:22:21 +01:00
2017-09-13 13:24:48 +01:00
2017-06-14 23:03:40 +01:00
2017-07-01 14:43:18 +01:00
2017-07-01 14:34:20 +01:00
2017-07-01 14:43:18 +01:00
2017-10-23 16:04:26 +01:00
2017-11-01 17:27:35 +00:00
2017-10-14 23:48:43 +01:00
2017-10-11 17:56:17 +01:00
2017-06-15 01:52:24 +01:00
2017-07-12 17:12:57 +01:00
2017-07-27 17:19:18 +01:00
2017-11-01 15:55:58 +01:00
2017-08-10 15:17:52 +01:00
2017-10-11 17:56:17 +01:00
2017-10-30 17:15:27 +00:00
2017-10-11 17:56:17 +01:00
2017-10-11 17:56:17 +01:00
2017-10-11 17:56:17 +01:00
2017-10-14 16:41:02 -06:00
2017-07-01 14:38:32 +01:00
2017-06-28 13:56:18 +01:00
2017-07-01 14:31:59 +01:00
2017-10-11 17:56:17 +01:00
2017-10-11 17:56:17 +01:00
2017-07-01 14:50:22 +01:00
2017-10-11 19:49:29 +02:00
2017-07-01 14:50:22 +01:00
2017-10-27 16:29:56 +01:00
2017-07-01 14:50:22 +01:00
2017-07-12 18:05:40 +01:00
2017-10-11 17:56:17 +01:00
2017-06-15 01:52:24 +01:00
2017-10-11 17:56:17 +01:00
2017-10-11 17:56:17 +01:00
2017-07-01 14:13:32 +01:00
2017-08-10 15:22:53 +01:00
2017-09-08 17:43:41 +01:00
2017-09-28 11:21:06 +01:00
2017-07-11 13:48:15 +01:00
2017-10-14 16:10:32 -06:00
2017-10-11 17:56:17 +01:00
2017-07-27 17:19:18 +01:00
2017-10-11 17:56:17 +01:00
2017-07-01 14:50:22 +01:00
2017-09-27 15:30:58 +01:00
2017-10-23 14:55:54 +01:00
2017-10-11 17:56:17 +01:00
2017-10-11 17:56:17 +01:00
2017-10-24 18:32:50 +02:00
2017-08-01 11:41:41 +01:00