From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 24 Feb 2008 21:47:04 +0000 (+0000)
Subject: Add back mistakenly removed default env var
X-Git-Tag: release_2010-11-19~46
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/6116ccdadc2f1afadf94e52100e8578bc9e9ba02

Add back mistakenly removed default env var
---

diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml
index e56c293..8a982ad 100644
--- a/src/plugins/easy_domain.sml
+++ b/src/plugins/easy_domain.sml
@@ -34,6 +34,10 @@ val _ = Defaults.registerDefault ("CreateWWW",
 				  (TBase "bool", dl),
 				  (fn () => (EVar "true", dl)))
 
+val _ = Defaults.registerDefault ("DefaultAlias",
+				  (TBase "bool", dl),
+				  (fn () => (EVar "true", dl)))
+
 val _ = Defaults.registerDefault ("HandleMail",
 				  (TBase "bool", dl),
 				  (fn () => (EVar "true", dl)))