fb3b9412e4
It might even work, although nothing yet triggers XMPP pushes. Also added a set of deferred push messages. Only one push can run at a time, and unrelated push messages get deferred. The set will never grow very large, because it only puts two types of messages in there, that can only vary in the client doing the push. |
||
|---|---|---|
| .. | ||
| Buddies.hs | ||
| Client.hs | ||
| Git.hs | ||