[server] Fix a build error due to forgetfulness of changing here in the previous commit.