chiark / gitweb /
Merge pull request #989 from brad/type_error
authordaid <daid303@gmail.com>
Mon, 20 Oct 2014 08:25:11 +0000 (10:25 +0200)
committerdaid <daid303@gmail.com>
Mon, 20 Oct 2014 08:25:11 +0000 (10:25 +0200)
commitd18051bab01a4aca4e6d5aced0a89ac2df24e178
tree9dff156b6173a7677ef28685feaa902622a09efb
parent8b7bc669be489263926dc8ac3243c495121e554f
parent6ecd0bb196cb1132a1f8c7a94cbc15402db873aa
Merge pull request #989 from brad/type_error

avoid TypeError when reading the active io