is server always != null?