X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/75d4c2d6fb7996625d062f5949ceb2e66c0a70ab..a356587aacf682b584fbbebf7b999154755e80c7:/src/plugins/easy_domain.sml diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index 24aa83f..70a3601 100644 --- a/src/plugins/easy_domain.sml +++ b/src/plugins/easy_domain.sml @@ -30,4 +30,12 @@ val _ = Defaults.registerDefault ("WWW", StringMap.empty), dl), (fn () => (ESkip, dl))) +val _ = Defaults.registerDefault ("CreateWWW", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + +val _ = Defaults.registerDefault ("DefaultAlias", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + end