def close(self): HTMLParser.close(self) if self.reload1: self.reload1.detach(self) self.reload1 = None refresh = None if self._metadata.has_key("refresh"): name, http_equiv, refresh = self._metadata["refresh"][0] elif self.context.get_headers().has_key("refresh"): refresh = self.context.get_headers()["refresh"] if refresh: DynamicReloader(self.context, refresh)
def close(self): if self._anchor_sequence: self.write_footnotes() HTMLParser.close(self)