tree 5da01d99febdb2139d7c24e583d474f78ac890f1
parent ca109a49fefe2d90332060dfeed11f28e771ef9a
author salsubaiee <salsubaiee@gmail.com> 1374954113 -0700
committer salsubaiee <salsubaiee@gmail.com> 1376538959 -0700

fix for issue 582 submitted by Vinayak: NonDeterministicChannelReader is now fair with all channels.