e2b67e0bc4
I hope this will be easier to reason about, and less buggy. It was certianly easier to write! An immediate benefit is that with a traversable queue of push requests to select from, the threads can be a lot fairer about choosing which client to service next. |
||
---|---|---|
.. | ||
Buddies.hs | ||
Client.hs | ||
Git.hs |