wsgidav.server.ext_wsgiutils_server.ExtServer.server_close#

ExtServer.server_close()#

Called to clean-up the server.

May be overridden.