Fixes #9875: Better docker service restart
Improve the check for the docker service in order to restart it ifneeded. Also check for systemd based system first and then fall back tothe service based utilities.
Fixes #9875: Better docker service restart
Improve the check for the docker service in order to restart it if
needed. Also check for systemd based system first and then fall back to
the service based utilities.