Ejemplo n.º 1
0
 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)
Ejemplo n.º 2
0
 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)
Ejemplo n.º 3
0
 def close(self):
     if self._anchor_sequence:
         self.write_footnotes()
     HTMLParser.close(self)
Ejemplo n.º 4
0
 def close(self):
     if self._anchor_sequence:
         self.write_footnotes()
     HTMLParser.close(self)