fixed bug in server_pool.py