Join script should rule out retired usernames

[bpt/portal.git] / group.sig

diff --git a/group.sig b/group.sig
index d914acb..64e315d 100644 (file)
--- a/group.sig
+++ b/group.sig
@@ -14,6 +14,7 @@ sig
 
     val userInGroupNum : int * int -> bool
     val userInGroupName : int * string -> bool
+    val userReallyInGroupName : int * string -> bool (* Doesn't count root group *)
 
     val addToGroup : membership -> unit
     val addToGroups : int * int list -> unit
@@ -22,8 +23,9 @@ sig
 
     val inGroupNum : int -> bool
     val inGroupName : string -> bool
+    val reallyInGroupName : string -> bool
 
     (* These raise Access if the check fails *)
     val requireGroupNum : int -> unit
     val requireGroupName : string -> unit
-end
\ No newline at end of file
+end