Skip to content

Instantly share code, notes, and snippets.

@pjbriggs
Created June 17, 2015 11:58
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save pjbriggs/65c29a87e094d4d257f6 to your computer and use it in GitHub Desktop.
Save pjbriggs/65c29a87e094d4d257f6 to your computer and use it in GitHub Desktop.
Patch to fix "Share history with user" function in galaxy-dist 15.05
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 ):
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment