Failed to open PID file On Ubuntu

Someone else had the same problem. Please provide your OS and version, so we can try to reproduce it.

This same error came up yesterday: