Back in May we submitted a tiny whitespace patch to enable some items in the user menu when use_remote_user is True, which became cset 384c809db93e.

It looks like that was accidentally undone in cset 03d06d05bf62 and partially fixed in cset 5f87abcf4854 but the attached (and inlined) patch should fix the rest of it.

The symptom is the absence of Histories and Datasets for users logged in when use_remote_user is True.

Thanks for an awesome system,

# HG changeset patch # User JJ jj@msi.umn.edu # Date 1286829453 18000 # Node ID bf6625e5007cc2b5914d04777c12d29dafa8061a # Parent 955beb170e288725ad3dc3b83e7eb6bf649e4ea5 re-fix user menu for remote user setups

diff -r 955beb170e28 -r bf6625e5007c templates/webapps/galaxy/base_panels.mako --- a/templates/webapps/galaxy/base_panels.mako Fri Oct 08 16:36:16 2010 -0500 +++ b/templates/webapps/galaxy/base_panels.mako Mon Oct 11 15:37:33 2010 -0500 @@ -143,12 +143,12 @@ logout_url = h.url_for( controller='/user', action='logout' ) menu_options.append( [ 'Logout', logout_url, "_top" ] ) menu_options.append( None ) - menu_options.append( [ 'Saved Histories', h.url_for( controller='/history', action='list' ), "galaxy_main" ] ) - menu_options.append( [ 'Saved Datasets', h.url_for( controller='/dataset', action='list' ), "galaxy_main" ] ) - if app.config.get_bool( 'enable_pages', False ): - menu_options.append( [ 'Saved Pages', h.url_for( controller='/page', action='list' ), "_top" ] ) - if app.config.enable_api: - menu_options.append( [ 'API Keys', h.url_for( controller='/user', action='api_keys' ), "galaxy_main" ] ) + menu_options.append( [ 'Saved Histories', h.url_for( controller='/history', action='list' ), "galaxy_main" ] ) + menu_options.append( [ 'Saved Datasets', h.url_for( controller='/dataset', action='list' ), "galaxy_main" ] ) + if app.config.get_bool( 'enable_pages', False ): + menu_options.append( [ 'Saved Pages', h.url_for( controller='/page', action='list' ), "_top" ] ) + if app.config.enable_api: + menu_options.append( [ 'API Keys', h.url_for( controller='/user', action='api_keys' ), "galaxy_main" ] )

extra_class = "loggedin-only" visible = ( trans.user != None )