Fix to set db_server to local if not already set by Jenkins