parameters: (url, code=303)
docstring: Aborts execution and causes a 303 redirect
docstring_summary: Aborts execution and causes a 303 redirect
docstring_tokens: Aborts execution and causes a 303 redirect
function: def redirect(url, code=303):
      """ Aborts execution and causes a 303 redirect """
      scriptname = request.environ.get('SCRIPT_NAME', '').rstrip('/') + '/'
      location = urljoin(request.url, urljoin(scriptname, url))
      raise HTTPResponse("", status=code, header=dict(Location=location))
function_tokens: 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 ) )