X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/71420f8bc34bbe2c76bd368613d4e024072e9817..1d3ef80ec822ea0fa241eb5485549ca7417e787f:/src/domain.sig diff --git a/src/domain.sig b/src/domain.sig index a937624..be9bd8b 100644 --- a/src/domain.sig +++ b/src/domain.sig @@ -24,6 +24,8 @@ signature DOMAIN = sig val isIdent : char -> bool val validHost : string -> bool val validDomain : string -> bool + val yourDomain : string -> bool + val validUser : string -> bool val ip : string Env.arg @@ -74,5 +76,5 @@ signature DOMAIN = sig val hasPriv : string -> bool - val rmdom : string -> unit + val rmdom : string list -> unit end