Shantanu,
I've yet been unable to reproduce this issue on a local installation of
a tool shed. If I do manage to reproduce it, I will re-open the issue
and find a fix.
--Dave B.
On 7/17/13 16:31:56.000, Greg Von Kuster wrote:
Hello Shantanu,
I've created a Trello card for this - we'll take a look as soon as possible.
https://trello.com/c/1hXOJPlZ/994-toolshed-from-shantanu-pavgi-on-7-12-13-it-seems-like-if-we-uninstall-a-migrated-tool-then-it-s-entry-in-the-migrated-tools-conf
Thanks,
Greg Von Kuster
On Jul 12, 2013, at 12:42 PM, Shantanu Pavgi (Campus) pa...@uab.edu wrote:
It seems like if we uninstall a migrated tool then it's entry in the
migrated_tools_conf.xml file doesn't get deleted. Does it need to be removed
manually?
--
Thanks,
Shantanu
___
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:
http://lists.bx.psu.edu/
To search Galaxy mailing lists use the unified search at:
http://galaxyproject.org/search/mailinglists/
___
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:
http://lists.bx.psu.edu/
To search Galaxy mailing lists use the unified search at:
http://galaxyproject.org/search/mailinglists/
___
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:
http://lists.bx.psu.edu/
To search Galaxy mailing lists use the unified search at:
http://galaxyproject.org/search/mailinglists/
