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):
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)
def close(self):
if self._anchor_sequence:
self.write_footnotes()
HTMLParser.close(self)
