Commit | Line | Data |
---|---|---|
8cbb9632 AC |
1 | (* HCoop Domtool (http://hcoop.sourceforge.net/) |
2 | * Copyright (c) 2007, Adam Chlipala | |
945262dc | 3 | * Copyright (c) 2014 Clinton Ebadi <clinton@unknownlamer.org> |
8cbb9632 AC |
4 | * |
5 | * This program is free software; you can redistribute it and/or | |
6 | * modify it under the terms of the GNU General Public License | |
7 | * as published by the Free Software Foundation; either version 2 | |
8 | * of the License, or (at your option) any later version. | |
9 | * | |
10 | * This program is distributed in the hope that it will be useful, | |
11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | * GNU General Public License for more details. | |
14 | * | |
15 | * You should have received a copy of the GNU General Public License | |
16 | * along with this program; if not, write to the Free Software | |
17 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. | |
18 | *) | |
19 | ||
20 | (* Derived directives of general use *) | |
21 | ||
22 | structure EasyDomain :> EASY_DOMAIN = struct | |
23 | ||
24 | open Ast | |
25 | ||
26 | val dl = ErrorMsg.dummyLoc | |
27 | ||
28 | val _ = Defaults.registerDefault ("WWW", | |
29 | (TAction ((CConst "Vhost", dl), | |
b7e03b47 | 30 | StringMap.empty, |
8cbb9632 AC |
31 | StringMap.empty), dl), |
32 | (fn () => (ESkip, dl))) | |
33 | ||
a356587a AC |
34 | val _ = Defaults.registerDefault ("CreateWWW", |
35 | (TBase "bool", dl), | |
36 | (fn () => (EVar "true", dl))) | |
37 | ||
942d94ab AC |
38 | val _ = Defaults.registerDefault ("DefaultA", |
39 | (TBase "bool", dl), | |
40 | (fn () => (EVar "true", dl))) | |
41 | ||
6116ccda AC |
42 | val _ = Defaults.registerDefault ("DefaultAlias", |
43 | (TBase "bool", dl), | |
44 | (fn () => (EVar "true", dl))) | |
45 | ||
945262dc CE |
46 | val _ = Defaults.registerDefault ("DefaultAliasSource", |
47 | (TBase "aliasSource", dl), | |
270265f9 | 48 | (fn () => (EVar "defaultSource", dl))) |
945262dc | 49 | |
85d62734 AC |
50 | val _ = Defaults.registerDefault ("HandleMail", |
51 | (TBase "bool", dl), | |
52 | (fn () => (EVar "true", dl))) | |
53 | ||
54 | val _ = Defaults.registerDefault ("AddMX", | |
a356587a AC |
55 | (TBase "bool", dl), |
56 | (fn () => (EVar "true", dl))) | |
57 | ||
b32339d0 CE |
58 | val _ = Defaults.registerDefault ("DefaultWebNode", |
59 | (TBase "web_node", dl), | |
a51387b8 | 60 | (fn () => (EString "navajos", dl))) |
b32339d0 | 61 | |
8cbb9632 | 62 | end |