mirror of
https://github.com/docker/docs.git
synced 2026-04-12 14:25:46 +07:00
Sometimes rm begins before process death, but Kill called already after it, so we get error - no such process. Signed-off-by: Alexandr Morozov <lk4d4@docker.com>
8.6 KiB
8.6 KiB