Re: [Toolserver-announce] a new way to run tools: batch job scheduling