| changeset 172 | 2c971f7f28fe |
| parent 137 | e312f27b807d |
| child 181 | 889bf8472525 |
| 171:d78a3959dd9d | 172:2c971f7f28fe |
|---|---|
98 """ |
98 """ |
99 |
99 |
100 while True : |
100 while True : |
101 line = self.readline() |
101 line = self.readline() |
102 |
102 |
103 if line : |
103 if line is not None : |
104 yield line |
104 yield line |
105 |
105 |
106 elif self.changed() : |
106 elif self.changed() : |
107 log.debug("EOF: reopen") |
107 log.debug("EOF: reopen") |
108 |
108 |