Sean Jamieson
sean at barriescene.com
Tue Jan 24 16:56:11 EST 2006
I've written a supplemental function for the mod_python.util module, similar to mod_python.util.redirect, this is a helper function that sets the Refresh header. Personally I use Refresh atleast as much Location (redirct), if not more. So here it is, in all it's simplicity: def refresh(req, time, location=None): """refresh( req, seconds, location=None ) -> None A convenience function to provide refresh/redirection via the HTTP Refresh header """ if req.sent_bodyct: raise IOError, "Cannot send refresh header after headers have already been sent." req.err_headers_out["Refresh"] = str(seconds) # seconds is usually given as an integer if location: req.err_headers_out["Refresh"] += ';url=' + location
|