diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-05-21 11:06:49 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-05-21 11:08:08 -0400 |
| commit | 901f2c9e218cdba36e2488c413f9e620337f3283 (patch) | |
| tree | 494c5049e25c9440157a6f59441ec908c49fbad9 /Assistant/MakeRemote.hs | |
| parent | 18bf809758a1d42a19de9d056ef35cb9c7221dac (diff) | |
per-client inboxes for push messages
This will avoid losing any messages received from 1 client when a push
involving another client is running.
Additionally, the handling of push initiation is improved,
it's no longer allowed to run multiples of the same type of push to
the same client.
Still stalls sometimes :(
Diffstat (limited to 'Assistant/MakeRemote.hs')
0 files changed, 0 insertions, 0 deletions