Re: [galaxy-dev] Restricting Galaxy to particualt users or IP addresses