From 61a798a1dbd8b723677adb2daecf7d819cbc919c Mon Sep 17 00:00:00 2001
From: Dannon Baker
Please contact your local Galaxy administrator. The
variable remote_user_secret and
@@ -88,7 +88,7 @@ class RemoteUser( object ):
access Galaxy.
"""
return self.error( start_response, title, message )
-
+
if not environ.get(self.remote_user_header, '(null)').startswith('(null)'):
if not environ[ self.remote_user_header ].count( '@' ):
if self.maildomain is not None:
@@ -114,6 +114,8 @@ class RemoteUser( object ):
pass # admins can create users
elif path_info.startswith( '/user/logout' ) and environ[ self.remote_user_header ] in self.admin_users:
pass # Admin users may be impersonating, allow logout.
+ elif path_info.startswith( '/user/manage_user_info' ) and environ[ self.remote_user_header ] in self.admin_users:
+ pass # Admin users need to be able to change user information
elif path_info.startswith( '/user/api_keys' ):
pass # api keys can be managed when remote_user is in use
elif path_info.startswith( '/user/edit_username' ):