Fix wrong usage of AJXP_WEBDAV_DISABLED option on repository.