original_docstring: Writes a login redirection URL to a user.
  
    This redirects to login_url with a continue parameter to return to
    continue_url. The login_url should be on the canonical front-end server,
    regardless of the host:port the user connected to.
  
    Args:
      application_url: The URL of the dev appserver domain
        (e.g., 'http://localhost:8080').
      continue_url: The URL to continue to after the user logs in.
      start_response: A WSGI start_response function.
  
    Returns:
      An (empty) iterable over strings containing the body of the HTTP response.
    
docstring: Writes a login redirection URL to a user.
  This redirects to login_url with a continue parameter to return to
  continue_url. The login_url should be on the canonical front-end server,
  regardless of the host:port the user connected to.
docstring_tokens: Writes a login redirection URL to a user . This redirects to login_url with a continue parameter to return to continue_url . The login_url should be on the canonical front - end server regardless of the host : port the user connected to .
code: def login_redirect(application_url, continue_url, start_response):
    """Writes a login redirection URL to a user.
  
    This redirects to login_url with a continue parameter to return to
    continue_url. The login_url should be on the canonical front-end server,
    regardless of the host:port the user connected to.
  
    Args:
      application_url: The URL of the dev appserver domain
        (e.g., 'http://localhost:8080').
      continue_url: The URL to continue to after the user logs in.
      start_response: A WSGI start_response function.
  
    Returns:
      An (empty) iterable over strings containing the body of the HTTP response.
    """
    if AppDashboardHelper.USE_SHIBBOLETH:
      redirect_url = '{0}:{1}/login?{2}={3}'.format(
        AppDashboardHelper.SHIBBOLETH_CONNECTOR,
        AppDashboardHelper.SHIBBOLETH_CONNECTOR_PORT,
        CONTINUE_PARAM,
        urllib.quote(continue_url)
      )
    else:
      hostname = os.environ['NGINX_HOST']
      redirect_url = 'https://{0}:{1}/login?{2}={3}'.format(
        hostname,
        DASHBOARD_HTTPS_PORT,
        CONTINUE_PARAM,
        urllib.quote(continue_url))
  
    start_response('302 Requires login',
                   [('Location', redirect_url)])
    return []
code_tokens: def login_redirect ( application_url , continue_url , start_response ) : if AppDashboardHelper . USE_SHIBBOLETH : redirect_url = '{0}:{1}/login?{2}={3}' . format ( AppDashboardHelper . SHIBBOLETH_CONNECTOR , AppDashboardHelper . SHIBBOLETH_CONNECTOR_PORT , CONTINUE_PARAM , urllib . quote ( continue_url ) ) else : hostname = os . environ [ 'NGINX_HOST' ] redirect_url = 'https://{0}:{1}/login?{2}={3}' . format ( hostname , DASHBOARD_HTTPS_PORT , CONTINUE_PARAM , urllib . quote ( continue_url ) ) start_response ( '302 Requires login' , [ ( 'Location' , redirect_url ) ] ) return [ ]
short_docstring: Writes a login redirection URL to a user.
short_docstring_tokens: Writes a login redirection URL to a user .
comment: """Writes a login redirection URL to a user.
  
    This redirects to login_url with a continue parameter to return to
    continue_url. The login_url should be on the canonical front-end server,
    regardless of the host:port the user connected to.
  
    Args:
      application_url: The URL of the dev appserver domain
        (e.g., 'http://localhost:8080').
      continue_url: The URL to continue to after the user logs in.
      start_response: A WSGI start_response function.
  
    Returns:
      An (empty) iterable over strings containing the body of the HTTP response.
    """