X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1824f573f7f8720514af1dc94d7cfb1de5b15fef..71420f8bc34bbe2c76bd368613d4e024072e9817:/src/domain.sig diff --git a/src/domain.sig b/src/domain.sig index 1d708f5..a937624 100644 --- a/src/domain.sig +++ b/src/domain.sig @@ -27,6 +27,15 @@ signature DOMAIN = sig val ip : string Env.arg + val registerResetGlobal : (unit -> unit) -> unit + val registerResetLocal : (unit -> unit) -> unit + (* Register functions for clearing out all Domtool configuration at the global + * (AFS) and local levels, respectively. *) + + val resetGlobal : unit -> unit + val resetLocal : unit -> unit + (* Call all registered functions *) + val registerBefore : (string -> unit) -> unit val registerAfter : (string -> unit) -> unit (* Register handlers to run just before and after entering a domain