| changeset 181 | 889bf8472525 |
| parent 172 | 2c971f7f28fe |
| 176:3acd365cfeb8 | 181:889bf8472525 |
|---|---|
139 """ |
139 """ |
140 |
140 |
141 if self.file : |
141 if self.file : |
142 log.debug("%s", self) |
142 log.debug("%s", self) |
143 self.file.close() |
143 self.file.close() |
144 self.file = None |
|
144 else : |
145 else : |
145 log.warn("%s: close on already closed tail", self) |
146 log.warn("%s: close on already closed tail", self) |
146 |
147 |
147 def __str__ (self) : |
148 def __str__ (self) : |
148 return self.path |
149 return self.path |