Is `service docker status | grep running` more sensible than pid file?