Thanks for publishing your workaround. When I was in a my former
position at MSI - I believe we made the same modification to Galaxy to
enable this behavior I think. I have expanded your work around and
made it optional with the with following commit
If you test it out and it works for you - I would be happy to open a
pull request to add this behavior to Galaxy core.
On Thu, May 7, 2015 at 5:07 AM, Rémy Dernat <remy...@gmail.com> wrote:
> That was quite easy; Just changing:
> diff lib/galaxy/tools/errors.py.orig lib/galaxy/tools/errors.py
> < frm = to_address
>> #frm = to_address
>> if email is not "":
>> frm = email
>> frm = to_address
> 2015-05-06 10:28 GMT+02:00 Rémy Dernat <remy...@gmail.com>:
>> We run a galaxy server locally. When a user want to send an error through
>> galaxy GUI "Report this error to the Galaxy Team" . We do not have any
>> anonymous/guest users (not allowed). So we are sure that the content of the
>> email textbox is always effective.
>> The problem is that we use a remote helpdesk program that is using email
>> piping to retrieve the email and convert it to a ticket. When we want to
>> process galaxy ticket "GALAXY TOOL ERROR REPORT" the sender address is
>> always the address "error_email_to" from the configuration file galaxy.ini /
>> So we can not replay into our helpdesk program, because the answer would
>> be send to the address "error_email_to" and not to the user.
>> Is there a way to get the real email address from the user who reported
>> the error instead of this address ?
>> Or, if it is not possible, could it be plan in the future galaxy release ?
>> Or, eventually, if this is easy to do, what python file should I modify ?
>> Best regards,
> 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:
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: