Method delete

AgentBench.old/src/tasks/dbbench/Interaction.py:88–91

(self)

                    # print(e)

    def delete(self):
        # self.conn.close()
        self.container.stop()
        self.deleted = True

    def __del__(self):
        try: