def shutdown(self):
        super(Ga4ghServerForTesting, self).shutdown()
        if self.configFile is not None:
            self.configFile.close()
dataset/ETHPy150Open ga4gh/server/tests/end_to_end/server.py/Ga4ghServerForTesting.shutdown/original