Make failure to stop a container non-fatal.

JuliaCI · Apr 14, 2021 · d98c456 · d98c456
1 parent 4432cbe
commit d98c456
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/run.jl b/src/run.jl
@@ -360,8 +360,9 @@ function query_container(container)
 end
 
 function kill_container(container)
-    cmd = pipeline(`docker stop $container`, stdout=devnull)
-    Base.run(cmd)
+    if !success(pipeline(`docker stop $container`, stdout=devnull))
+        @warn "Could not stop container $container"
+    end
 end
 
 function run(julia_versions::Vector{VersionNumber}, pkgs::Vector;