RE: [Zope] Odd request: how to shutdown Zope