Correct locations of public_html
authorAdam Chlipala <adamc@hcoop.net>
Tue, 12 Dec 2006 03:23:06 +0000 (03:23 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 12 Dec 2006 03:23:06 +0000 (03:23 +0000)
configDefault/apache.cfg
configDefault/apache.csg
src/plugins/apache.sml

index bd5bc11..bec5354 100644 (file)
@@ -9,4 +9,6 @@ val webNodes = ["deleuze"]
 val proxyTargets = ["http://hcoop.net/cgi-bin/mailman",
                    "http://hcoop.net/pipermail"]
 
+val public_html = "home/public_html"
+
 end
index dcf989c..89e3710 100644 (file)
@@ -8,4 +8,6 @@ signature APACHE_CONFIG = sig
 
     val proxyTargets : string list
 
+    val        public_html : string
+
 end
index 78ea612..6c04738 100644 (file)
@@ -79,7 +79,7 @@ val _ = Defaults.registerDefault ("Group",
 
 val _ = Defaults.registerDefault ("DocumentRoot",
                                  (TBase "your_path", dl),
-                                 (fn () => (EString (Config.homeBase ^ "/" ^ Domain.getUser () ^ "/public_html"), dl)))
+                                 (fn () => (EString (Config.homeBase ^ "/" ^ Domain.getUser () ^ "/" ^ Config.Apache.public_html), dl)))
 
 val _ = Defaults.registerDefault ("ServerAdmin",
                                  (TBase "email", dl),