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
/ universe.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:

Reply via email to