remove delete from docker

Author: wenting-zhao

commit0/harness/docker_utils.py

@@ -116,30 +116,6 @@ def safe_extract(
         extracted_file_path.rename(dst)
 
 
-def delete_file_from_container(container: Container, file_path: str) -> None:
-    """Delete a file from a docker container.
-
-    Args:
-    ----
-        container (Container): Docker container to delete the file from
-        file_path (str): Path to the file in the container to be deleted
-
-    Raises:
-    ------
-        docker.errors.APIError: If there is an error calling the Docker API.
-        Exception: If the file deletion command fails with a non-zero exit code.
-
-    """
-    try:
-        exit_code, output = container.exec_run(f"rm -f {file_path}")
-        if exit_code != 0:
-            raise Exception(f"Error deleting file: {output.decode('utf-8').strip()}")
-    except docker.errors.APIError as e:
-        raise docker.errors.APIError(f"Docker API Error: {str(e)}")
-    except Exception as e:
-        raise Exception(f"General Error: {str(e)}")
-
-
 def write_to_container(container: Container, data: str, dst: Path) -> None:
     """Write a string to a file in a docker container"""
     # echo with heredoc to file

commit0/harness/execution_context.py

@@ -28,7 +28,6 @@
     create_container,
     copy_from_container,
     copy_to_container,
-    delete_file_from_container,
     exec_run_with_timeout,
 )
 
@@ -138,7 +137,6 @@ def exec_run_with_timeout(self, command: str) -> tuple[str, bool, float]:
             copy_from_container(
                 self.container, report_file, self.log_dir / "report.json"
             )
-            delete_file_from_container(self.container, str(report_file))
         return output
 
     def __exit__(