X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e0b0abd209a1ecbd9266cfcf8735af171f96869b..976657583f419a6a204400ea90f9758d15243acb:/src/domain.sig diff --git a/src/domain.sig b/src/domain.sig index c2ebb95..b85bbf7 100644 --- a/src/domain.sig +++ b/src/domain.sig @@ -24,6 +24,8 @@ signature DOMAIN = sig val validHost : string -> bool val validDomain : string -> bool + val ip : string Env.arg + val registerBefore : (string -> unit) -> unit val registerAfter : (string -> unit) -> unit (* Register handlers to run just before and after entering a domain @@ -38,4 +40,25 @@ signature DOMAIN = sig val dnsMaster : unit -> string option (* Name of the node that is the DNS master for the current domain, if there * is one *) + + val nodes : string list + (* Names of all system nodes *) + val nodeMap : string Ast.StringMap.map + (* Map node names to IP addresses *) + val nodeIp : string -> string + (* Look up a node in nodeMap *) + + val setUser : string -> unit + val getUser : unit -> string + (* Name of the UNIX user providing this configuration *) + + val your_domains : unit -> DataStructures.StringSet.set + (* The domains the current user may configure *) + + val your_users : unit -> DataStructures.StringSet.set + val your_groups : unit -> DataStructures.StringSet.set + val your_paths : unit -> DataStructures.StringSet.set + (* UNIX users, groups, and paths the user may act with *) + + val set_context : OpenSSL.context -> unit end