+ // Set WebDAV password to token if it's never been set.
+ if (user.getWebDAVPassword()==null || user.getWebDAVPassword().length()==0) {
+ String tokenEncoded = new String(Base64.encodeBase64(user.getAuthToken()), "US-ASCII");
+ user.setWebDAVPassword(tokenEncoded);
+ update = true;
+ }
+ if (update)
+ getService().updateUser(user);