Updated instructions for the rundevserver.sh script