replaced previous error for valid users not in db with default user
docker-util now deletes the server.pid file before building

I won't be able to forget now.