[galaxy-dev] Integrating Galaxy with JIRA for auto-ticket opening upon report

Hi - We have integrated our local galaxy with JIRA such that when problems are reported through the galaxy interface, a problem ticket is automatically opened up. I had to make very minor changes to Galaxy in support of this, and I am contributing back my changes in this email in hopes they can be integrated in. What I changed: 1) config.py - support of a new config parm : error_email_from 2) dataset.py report_error - to use the new from email address if specified. 3) added in the new config parm to my universe_wsgi.* files error_email_to = jira-galaxy@blah error_email_from = galaxy-admin@blah I am attaching a zipper of the code changes. Thanks, Ann