diff options
| -rw-r--r-- | Assistant/NetMessager.hs | 2 | ||||
| -rw-r--r-- | doc/design/assistant/xmpp.mdwn | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/Assistant/NetMessager.hs b/Assistant/NetMessager.hs index 2191e06f2..7098957b3 100644 --- a/Assistant/NetMessager.hs +++ b/Assistant/NetMessager.hs @@ -58,7 +58,7 @@ runPush side clientid handledeferred a = do {- While a push is running, matching push messages are put into - netMessagesPush, while others that involve the same side go to - - netMessagesDeferredPush. + - netMessagesPushDeferred. - - When no push is running involving the same side, returns False. - diff --git a/doc/design/assistant/xmpp.mdwn b/doc/design/assistant/xmpp.mdwn index fed79527e..0436fb787 100644 --- a/doc/design/assistant/xmpp.mdwn +++ b/doc/design/assistant/xmpp.mdwn @@ -14,6 +14,10 @@ who share a repository, that is stored in the [[cloud]]. push notification use of XMPP, since unknown UUIDs will just be ignored. But XMPP pairing and the pushes over XMPP assume that anyone you're paired with is intending to sync to your repository. +* At startup or network reconnect, git push messages are sent, often before + presence info has been gathered, so are not sent to any buddies. + Need to cache the last sent CanPush and PushRequest NetMessages for each + buddy, and when a new client is seen, resend. ## design goals |