diff options
Diffstat (limited to 'resources/tools')
| -rw-r--r-- | resources/tools/scripts/topo_container_copy.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/tools/scripts/topo_container_copy.py b/resources/tools/scripts/topo_container_copy.py index 088b7a4386..83599b4444 100644 --- a/resources/tools/scripts/topo_container_copy.py +++ b/resources/tools/scripts/topo_container_copy.py @@ -129,7 +129,7 @@ def main(): # Remove <none> images from Docker. cmd = "docker rmi $(sudo docker images -f 'dangling=true' -q)" - stdout = ssh_no_error(ssh, cmd, sudo=True) + stdout = ssh_ignore_error(ssh, cmd, sudo=True) print("###TI {}".format(stdout)) |