What would you be running to start the server inside Docker? "docker run what?"