I think a bug was introduced into galaxy-dist between the 15.03 and
15.05 releases, for the "Share history with user" function. The function
works for 15.03 but fails in 15.05.
1. Click on the "cog" icon for a history and select "Share or publish"
2. Under "Share History with Individual Users" click "Share with a user"
3. Enter the email of another user on the system and click submit
In 15.03 this returns to the sharing screen and indicates that the
history has been shared with the specified user; in 15.05 this produces
a stack trace (or "internal server error" in a production setting").
The following patch appears to fix the problem:
diff -r c3cef260df88 lib/galaxy/webapps/galaxy/controllers/history.py
--- a/lib/galaxy/webapps/galaxy/controllers/history.py Fri May 15
15:20:17 2015 -0400
+++ b/lib/galaxy/webapps/galaxy/controllers/history.py Wed Jun 17
12:51:41 2015 +0100
@@ -899,7 +899,7 @@
for history_id in ids:
history_id = self.decode_id( history_id )
history = self.history_manager.get_owned( history_id,
trans.user, current_history=trans.history )
- histories.append( )
+ histories.append( history )
def _get_users( self, trans, user, emails_or_ids ):
also available via this gist:
Apologies if this has already been reported/fixed elsewhere, or if
there's a better way to submit this fix (if so then please let me know)
Peter Briggs peter.bri...@manchester.ac.uk
Bioinformatics Core Facility University of Manchester
B.1083 Michael Smith Bldg Tel: (0161) 2751482
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
To search Galaxy mailing lists use the unified search at: