no longer needed... see pool.py