Method shutdown

codegen/docker_execute.py:37–41

(self)

        )

    def shutdown(self):
        if not self.container is None:
            self.container.stop()
            self.container.remove()
            self.container = None

    # Execute a command under `sources` that depends on the given script.  By default it runs the given script.
    def execute(self, script_filename=None, command=None, timeout=10):