DAV support: Use /dav/$USER rather than /dav.$USER

diff --git a/src/plugins/apache.sml b/src/plugins/apache.sml
index 29dc447..54df3d5 100644 (file)
--- a/src/plugins/apache.sml
+++ b/src/plugins/apache.sml
@@ -454,7 +454,7 @@ val () = Env.containerV_one "vhost"
                                           else
                                               ();
 
-                                          TextIO.output (file, "\n\tDAVLockDB /var/lock/apache2/dav.");
+                                          TextIO.output (file, "\n\tDAVLockDB /var/lock/apache2/dav/");
                                           TextIO.output (file, user);
                                           TextIO.output (file, "/DAVLock");