Hi all,
I'm a beginner in BaseX and I'd need some clarification about the setup and configuration, especially about authentication process.

The context is:
- Debian 8 Jessie, with Basex 8.3 manually installed (i.e. not from APT). I'm using Apache in front of Tomcat to access web apps (through mod_proxy and mod_proxy_ajp):

ProxyPass /BaseX83 ajp://localhost:8009/BaseX83
ProxyPassReverse /BaseX83 ajp://localhost:8009/BaseX83

- Webapp (WEBPATH): "/var/lib/tomcat7/webapps/BaseX83"
- Data (DBPATH) : "/var/data/basex" (owned by tomcat7 user)
- Client/server binaries (BaseX83): "/opt/basex/bin/"
- conf file: "/opt/basex/.basex"

Here are the main variables in my ".basex" file:

DBPATH = /var/data/basex
REPOPATH = /var/lib/tomcat7/webapps/BaseX83/repo
HOST = localhost
PORT = 1984
SERVERPORT = 1984
PROXYPORT = 80
WEBPATH = /var/lib/tomcat7/webapps/BaseX83
HTTPLOCAL = false
STOPPORT = 8985
AUTHMETHOD = Basic

And in my "WEB-INF/web.xml" I've set:
- the value of "org.basex.dbpath" to reflect my local path (i.e. "/var/data/basex")
- a new "org.basex.password" for the "org.basex.user" (admin)

I have access to dba and REST service but I encounter various issues regarding authentication and WebDAV:

1/ I can't connect to WebDav service using the Finder (on Mac OS X 10.8.5) when "org.basex.authmethod" is set to "Digest". WebDav only works with the "Basic" auth method

2/ When the WebDav folder is mounted in the Finder, I can't copy files into it (permissions issues?). I've both tested as admin and as a test user with read/write permissions to the database... An empty file is created (zero byte, no content).
But on the other hand, I'm able to access the REST interface with the same users (admin and test).

I've created the test user like so:

$ ./basexserver
// in a second tab:
$ ./basexclient -w
> CREATE DB testdb
> CREATE USER test password
> GRANT READ ON testdb TO test
> GRANT WRITE ON testdb TO test
> SHOW USERS ON testdb

3/ The "org.basex.password" in WEB-INF/web.xml has no effect. The only way to define a password for admin is to use the console (ALTER PASSWORD admin password).
Moreover the "service-specific credentials" for WebDav has no effect either. It just don't work. You can only connect to WebDav with the user credentials you defined in basex console (hence listed in users.xml).