in scripts/glue_script/run_redshift_benchmark.py [0:0]
def close_pool(self): if self._pool != None: self._pool.close()