fixed small glitch in getServer def