Pool::exit()