From de7fde3da2abb20767042276f24aae79c5925f95 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 12 Dec 2006 03:23:06 +0000 Subject: [PATCH] Correct locations of public_html --- configDefault/apache.cfg | 2 ++ configDefault/apache.csg | 2 ++ src/plugins/apache.sml | 2 +- 3 files changed, 5 insertions(+), 1 deletion(-) diff --git a/configDefault/apache.cfg b/configDefault/apache.cfg index bd5bc11..bec5354 100644 --- a/configDefault/apache.cfg +++ b/configDefault/apache.cfg @@ -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 diff --git a/configDefault/apache.csg b/configDefault/apache.csg index dcf989c..89e3710 100644 --- a/configDefault/apache.csg +++ b/configDefault/apache.csg @@ -8,4 +8,6 @@ signature APACHE_CONFIG = sig val proxyTargets : string list + val public_html : string + end diff --git a/src/plugins/apache.sml b/src/plugins/apache.sml index 78ea612..6c04738 100644 --- a/src/plugins/apache.sml +++ b/src/plugins/apache.sml @@ -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), -- 2.20.1