original_docstring: 
      Redirect to a user's activity page.
      
docstring: Redirect to a user's activity page.
docstring_tokens: Redirect to a user ' s activity page .
code: def stream_user_redirect(request):
      """
      Redirect to a user's activity page.
      """
  
      user = request.matchdict['user']
  
      # The client generates /u/ links which include the full account ID
      if user.startswith('acct:'):
          user = split_user(user)['username']
  
      location = request.route_url('activity.user_search', username=user)
  
      raise httpexceptions.HTTPFound(location=location)
code_tokens: def stream_user_redirect ( request ) : user = request . matchdict [ 'user' ] if user . startswith ( 'acct:' ) : user = split_user ( user ) [ 'username' ] location = request . route_url ( 'activity.user_search' , username = user ) raise httpexceptions . HTTPFound ( location = location )
short_docstring: Redirect to a user's activity page.
short_docstring_tokens: Redirect to a user ' s activity page .
comment: """
      Redirect to a user's activity page.
      """$SEP$# The client generates /u/ links which include the full account ID