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
+           incoming['__history_id__'] =
+       else:
+           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:

Reply via email to