You can also do

setenv save CDDBP_SERVER "UNIQUECODE.gnudb.org", replacing UNIQUECODE with the Unique Code you were assigned when registering there. This should work even if your IP changes and I'll add it to the settings later...