diff --git a/ci/images/docker-lib.sh b/ci/images/docker-lib.sh
index 497a422ceb..d16a9a67fc 100644
--- a/ci/images/docker-lib.sh
+++ b/ci/images/docker-lib.sh
@@ -66,22 +66,10 @@ start_docker() {
   docker daemon --data-root /scratch/docker ${server_args} >/tmp/docker.log 2>&1 &
   echo $! > /tmp/docker.pid
 
-  trap stop_docker EXIT
-
   sleep 1
 
   until docker info >/dev/null 2>&1; do
     echo waiting for docker to come up...
     sleep 1
   done
-}
-
-stop_docker() {
-  local pid=$(cat /tmp/docker.pid)
-  if [ -z "$pid" ]; then
-    return 0
-  fi
-
-  kill -TERM $pid
-  wait $pid
 }
\ No newline at end of file