code: def redirect(url, code=303):
      
      scriptname = request.environ.get('SCRIPT_NAME', '').rstrip('/') + '/'
      location = urljoin(request.url, urljoin(scriptname, url))
      raise HTTPResponse("", status=code, header=dict(Location=location))
docs: Aborts execution and causes a 303 redirect