Allow a manually-specified server name.