Re: [galaxy-dev] Problem with downloading datasets using wget or curl

2017-03-28 Thread Ashok Varadharajan
Dear Team, Can anyone help us to solve the below issue? Our galaxy users could not download large sequencing data using wget or curl. *Thanks and Regards,* *Ashok Varadharajan* On Wed, Mar 22, 2017 at 10:15 AM, Ashok Varadharajan wrote: > Dear Team, > > We are running galaxy-16.07 behind the

[galaxy-dev] deprecated 'page' tag in tool xml - more than deprecated?

2017-03-28 Thread Hans-Rudolf Hotz
Dear All As part of our move to upgrade from v. 16.04 to 17.01, I have noticed that the 'page' tag in the tool xml file doesn't work anymore. I know, the 'page' tag has been deprecated for a while, however, we have many old but important tools where the 'page' tag is in use. Has the functio

Re: [galaxy-dev] deprecated 'page' tag in tool xml - more than deprecated?

2017-03-28 Thread Hans-Rudolf Hotz
update: as I am going through all our local tools, I have realized, it has nothing to do with the 'page' tag. The problem is somehow related to the 'dynamic_options' I am sorry for the confusion. I will probably send you another mail with a different subject later :( Sorry, Hans-Rudol