apache: move davlockdb to /var/local
[hcoop/domtool2.git] / src / plugins / apache.sml
index c87644c..9d751e8 100644 (file)
@@ -561,7 +561,7 @@ fun vhostBody (env, makeFullHost) =
                                  else
                                      ();
 
                                  else
                                      ();
 
-                                 TextIO.output (file, "\n\tDAVLockDB /var/lock/apache2/dav/");
+                                 TextIO.output (file, "\n\tDAVLockDB /var/local/domtool/apache2/dav/");
                                  TextIO.output (file, user);
                                  TextIO.output (file, "/DAVLock");
 
                                  TextIO.output (file, user);
                                  TextIO.output (file, "/DAVLock");