apt: new process for package install on puppet nodes
[hcoop/portal.git] / config.sig
... / ...
CommitLineData
1signature CONFIG = sig
2
3val scratchDir : string
4val urlPrefix : string
5val emailSuffix : string
6val boardEmail : string
7val dbstring : string
8val kerberosSuffix : string
9val passgenDbstring : string
10val statsRoot : string
11val staticFilesRoot : string
12
13val joinBannedEmailDomains : string list
14(* domains that may not be used in member applications, really
15rudimentary spam filtering for some persistent spammers that use the
16same two domains. *)
17
18end