3.7.1.4 Server::release()