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.

To reproduce:
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 )
         return histories

     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)

Best wishes


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:

Reply via email to