removed some unused code from servers.inc