diff options
author | 2013-05-22 00:27:12 -0400 | |
---|---|---|
committer | 2013-05-22 00:27:12 -0400 | |
commit | 3eed70c3d2dfec84f739fcfaf591513743b2e2de (patch) | |
tree | b478fdb7a675ab06e9265514503811dfc9fadf94 /.ghci | |
parent | bc386221adc3929567b2a18b396f8d5442841960 (diff) |
avoid building up a lot of threads all waiting for their chance to run a push
Only 2 threads are needed, one running, and one waiting to push something
new. Any more is redundant and wasteful.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions