Bugfix: undefined variable "server" in one control path