Re: [galaxy-user] regarding galaxy server problem