I am running the latest galaxy (latest_15.05) and I noticed that when I try to share a history with a specific user I get this error on the browsr.e
" Internal Server Error
Galaxy was unable to successfully complete your request "
Looking into the logs, the error seems to happen on lib/galaxy/webapps/galaxy/controllers/history.py
File '/home/galaxy-dist/lib/galaxy/webapps/galaxy/controllers/history.py', line 902 in _get_histories
TypeError: append() takes exactly one argument (0 given)
In the browser I can see the user email address on the search box as well as its user name (short name). I tried to input both but had no success.
Could you please let me know if this is a known problem or if it is an configuration error on my part?
Thanks a lot