wsgidav.server.ext_wsgiutils_server.ExtServer.server_close

ExtServer.server_close()

Called to clean-up the server.

May be overridden.