Bug fixes to delete_server