wsgidav.server.ext_wsgiutils_server.ExtServer.server_close# ExtServer.server_close()# Called to clean-up the server. May be overridden.