X-Git-Url: http://git.hcoop.net/hcoop/zz_old/portal.git/blobdiff_plain/566fd71293b52f72e94433da590b14b4a06b07e2..270da709d5bf3c40b531908b14e629d1a7bb3577:/pref.sig diff --git a/pref.sig b/pref.sig index 1bf518a..e3cb7d7 100644 --- a/pref.sig +++ b/pref.sig @@ -3,4 +3,8 @@ sig val hasDirectory : int -> bool val setDirectory : int -> unit val unsetDirectory : int -> unit + + val subscribed : string * string -> bool + val subscribe : string * string -> bool + val unsubscribe : string * string -> bool end \ No newline at end of file