Message ID | 1467660382-6317-5-git-send-email-christian@paral.in |
---|---|
State | Superseded |
Headers | show |
diff --git a/package/docker-engine/docker.init b/package/docker-engine/docker.init index a751551..36c7786 100644 --- a/package/docker-engine/docker.init +++ b/package/docker-engine/docker.init @@ -96,8 +96,9 @@ case "$1" in restart) docker_pid=`cat "$DOCKER_SSD_PIDFILE" 2>/dev/null` [ -n "$docker_pid" ] \ - && ps -p $docker_pid > /dev/null 2>&1 \ - && $0 stop + && [ -d /proc/$docker_pid ] \ + && $0 stop \ + && sleep 1 $0 start ;;