equal
deleted
inserted
replaced
149 def __del__(self): |
149 def __del__(self): |
150 urlopener = getattr(self, '_urlopener', None) |
150 urlopener = getattr(self, '_urlopener', None) |
151 if urlopener: |
151 if urlopener: |
152 for h in urlopener.handlers: |
152 for h in urlopener.handlers: |
153 h.close() |
153 h.close() |
154 getattr(h, "close_all", lambda : None)() |
154 getattr(h, "close_all", lambda: None)() |
155 |
155 |
156 # Begin of _basepeer interface. |
156 # Begin of _basepeer interface. |
157 |
157 |
158 @util.propertycache |
158 @util.propertycache |
159 def ui(self): |
159 def ui(self): |