I have two questions about histories in Galaxy:
1. Is it possible to mark/set a history as published via the API?
2. How can I get the ID of the current users history via a tool? Something like
Thanks in advance!
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: