diff options
author | Joey Hess <joey@kitenet.net> | 2013-03-06 21:33:08 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-03-06 21:38:01 -0400 |
commit | ef3ee84450798af5f9908e50e25c8d819594e971 (patch) | |
tree | 9e2d38264d8d815f4f39064299a4d1590ca54fa2 /doc/bugs/gpg_needs_--use-agent.mdwn | |
parent | 8f5a55803bc88582220bbbaca85e5025e9d2b053 (diff) |
assistant: XMPP git pull and push requests are cached and sent when presence of a new client is detected.
Noticed that, At startup or network reconnect, git push messages were sent,
often before presence info has been gathered, so were not sent to any
buddies.
To fix this, keep track of which buddies have seen such messages,
and when new presence is received from a buddy that has not yet seen it,
resend.
This is done only for push initiation messages, so very little data needs
to be stored.
Diffstat (limited to 'doc/bugs/gpg_needs_--use-agent.mdwn')
0 files changed, 0 insertions, 0 deletions