Re: [galaxy-dev] change in paster.py?