Re: [galaxy-dev] [galaxy-bugs] Galaxy tool error report from u4705270@hotmail.com