diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-11-11 15:42:03 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-11-11 15:42:03 -0400 |
| commit | 0d21e323e0d095232e347859adaaf2cc2cd71592 (patch) | |
| tree | 6edb70e3e315926f1a226d30e6e12755c94d3d84 /Utility/ThreadLock.hs | |
| parent | 2aa6505378c3789da0cf78c784467c67fd9d593c (diff) | |
allow both one push and one receive-pack to run at the same time
Noticed that when pairing, sometimes both sides start to push, and the other
side sends a PushRequest, and the two deadlock, neither doing anything.
(Timeout eventually breaks this.) So, let both run at the same time.
Diffstat (limited to 'Utility/ThreadLock.hs')
0 files changed, 0 insertions, 0 deletions