Re: [Zope-dev] DB.py: pool_size