def close_pool()

in scripts/glue_script/run_redshift_benchmark.py [0:0]


    def close_pool(self):
        if self._pool != None:
            self._pool.close()