[galaxy-dev] history name and tool number in XML tool definition

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