X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/314ce7bdcb5f54a7d1763e8b6d405dc66cb65d2b..563e77927eb5faaae4571bd2b0811de590368581:/src/domain.sig

diff --git a/src/domain.sig b/src/domain.sig
index bdf92de..8d10fe0 100644
--- a/src/domain.sig
+++ b/src/domain.sig
@@ -20,6 +20,9 @@
 
 signature DOMAIN = sig
 
+    val declareClient : unit -> unit
+    val fakePrivileges : unit -> unit
+
     val yourPath : string -> bool
     val isIdent : char -> bool
     val validHost : string -> bool
@@ -92,6 +95,7 @@ signature DOMAIN = sig
     val hasPriv : string -> bool
 
     val rmdom : string list -> unit
+    val rmdom' : string -> string list -> unit
 
     val homedirOf : string -> string
     val homedir : unit -> string
@@ -105,10 +109,14 @@ signature DOMAIN = sig
     (* Argument is domain to describe, over all nodes. *)
 
     datatype description =
-	     Filename of { filename : string, heading : string }
+	     Filename of { filename : string, heading : string, showEmpty : bool }
 	   | Extension of { extension : string, heading : string -> string }
 
     val considerAll : description list -> subject -> string
     (* Find files in a domain directory matching some patterns and generate
      * headings and contents listings for them. *)
+
+    (* Callbacks to run whenever the set of Domtool users has changed *)
+    val registerOnUsersChange : (unit -> unit) -> unit
+    val onUsersChange : unit -> unit
 end