From e34e1f36399dbe91d9bc52ec0313333dede3c7ad Mon Sep 17 00:00:00 2001 From: Michael Olson Date: Tue, 16 Oct 2007 00:46:40 +0000 Subject: [PATCH] DAV support: Use /dav/$USER rather than /dav.$USER --- src/plugins/apache.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/apache.sml b/src/plugins/apache.sml index 29dc447..54df3d5 100644 --- 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"); -- 2.20.1