,
Bodo Vossen
-Original Message-
From: Peter Cock [mailto:p.j.a.c...@googlemail.com]
Sent: Sat 5/28/2011 10:19 PM
To: Vossen, Bodo
Cc: galaxy-dev@lists.bx.psu.edu
Subject: Re: [galaxy-dev] Implemented adding tools via admin console
On Fri, May 27, 2011 at 11:21 AM, Vossen, Bodo
Van: galaxy-dev-boun...@lists.bx.psu.edu [galaxy-dev-boun...@lists.bx.psu.edu]
namens Peter Cock [p.j.a.c...@googlemail.com]
Verzonden: maandag 30 mei 2011 21:09
Aan: Vossen, Bodo
CC: galaxy-dev@lists.bx.psu.edu
Onderwerp: Re: [galaxy-dev] Implemented adding tools via admin console
On Mon, May
On Mon, May 30, 2011 at 10:42 PM, Bossers, Alex wrote:
Peter,
if you were just interested in having a dynamic refresh
it was posted long time ago and we have it operational. It
comes as a tool in your tool list and refreshes all from the
tool_conf.xml.
I'd like to see something like this
On Fri, May 27, 2011 at 11:21 AM, Vossen, Bodo
bodo.vos...@mpi-bn.mpg.de wrote:
Hi all,
I've implemented functionality for adding tools via the admin menu.
That sounds very useful in principle, although perhaps
the less flexible alternative of reloading tool_conf.xml
would achieve the same
