Comment 0 for bug 746700

Binary package hint: davfs2

If the sysadmin set system wide options in /etc/davfs2/davfs2.conf and she allows for unprivileged users to mount WebDAV resources then they will experience inconsistent results.

Example:

sysadmin@host:~$ echo "davfs2 davfs2/suid_file boolean true" | sudo debconf-set-selections --
sysadmin@host:~$ sudo dpkg-reconfigure davfs2
sysadmin@host:~$ sudo sh -c 'echo "http://webdav.cyberteams.com:8080/ /mnt davfs noauto,user 0 0" > /etc/fstab'

user@host:~$ mount /mnt
Please enter the username to authenticate with server
http://webdav.cyberteams.com:8080 or hit enter for none.
  Username: guest
Please enter the password to authenticate user guest with server
http://webdav.cyberteams.com:8080 or hit enter for none.
  Password: guest
user@host:~$ ls /mnt
[snip]
user@host:~$ umount /mnt
/sbin/umount.davfs: waiting while mount.davfs (pid 13147) synchronizes the cache .
user@host:~$ mount /mnt
/sbin/mount.davfs:/home/michael/.davfs2/davfs2.conf:24: unknown option

This happens because /etc/davfs2/davfs2.conf is copied to ~/.davfs/ if ~/.davfs2 doesn't exist when mount.davfs2 is called.
Due to LP: 459998 Ubuntu needs to include a system option in /etc/davfs2/davfs2.conf

Fix: Warn instead of exiting when system options are in the users configuration and vice-versa