Hello everyone,

I have a question how to access the history name and tool number (the number displayed in the history) in the XML tool definition file.

We want all tools of a history to log to a common log file using the tool number to distinguish the different tools. Thus, I’d like to do something similar to this:

<tool id="custom_dummy" name="dummy">

                <command interpreter="php" >dummy.php -log ${history_name}.log -log_id ${tool_number}</command>

                …

</tool>

Is there a way to do this? I could not find it using the documentation or the mailing list archive.

Best wishes,

  Marc