Follow-up to r8209, Repository.close might be called multiple times (once from !RepositoryManager.shutdown, once from `Repository.__del__`) so we have to check if the pool is still there.
Authored by: cboos 2009-05-21
Parent: [r8211]
Child: [r8213]
