It would be useful to have access $__history_id__ in the same way as one
accesses $__user_id__. I am running a local instance of galaxy and have
modified the following file to achieve this:
At line ~694:
incoming['__user_name__'] = user_name
+ if job.history and job.history.id:
+ incoming['__history_id__'] = job.history.id
+ incoming['__history_id__'] = 'unknown'
I have tested this change and it appears to give me exactly what I want.
My question: does this change appear correct and can it be incorporated
into the main galaxy code-base?
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: