Re: [galaxy-user] Galaxy server is down or Up ??