diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-11-09 16:04:55 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-11-09 16:04:55 -0400 |
| commit | 5c928715e72b94c4fae601aebbe23fe5cd2436e3 (patch) | |
| tree | 1d93ceb12be3ca12dcc7e169981f6bb8fd700650 /Assistant/XMPP.hs | |
| parent | bea266e2c14163cac86a19b3f6b5ba834d9a0793 (diff) | |
run xmpp push actions in separate thread from xmpp client
Took me a while to figure out why the xmpp client was not receiving git xmpp
push messages after a push started.
Diffstat (limited to 'Assistant/XMPP.hs')
0 files changed, 0 insertions, 0 deletions