X-Git-Url: http://git.hcoop.net/hcoop/portal.git/blobdiff_plain/27e48ace692e2404e160a8949cb80b2f49a765be..b6392a52a07ca163e5a1ee1b46d62a48ef395829:/pref.sml

diff --git a/pref.sml b/pref.sml
index 9deb6fe..04aa736 100644
--- a/pref.sml
+++ b/pref.sml
@@ -17,4 +17,22 @@ fun setDirectory usr =
 fun unsetDirectory usr =
     ignore (C.dml (getDb ()) ($`DELETE FROM DirectoryPref WHERE usr = ^(C.intToSql usr)`))
 
-end
\ No newline at end of file
+fun subscribed (list, address) = OS.Process.isSuccess (OS.Process.system (String.concat
+									 ["/usr/bin/sudo -u list /usr/local/sbin/portalsub ",
+									  list,
+									  " check ",
+									  address]))
+
+fun subscribe (list, address) = OS.Process.isSuccess (OS.Process.system (String.concat
+									 ["/usr/bin/sudo -u list /usr/local/sbin/portalsub ",
+									  list,
+									  " add ",
+									  address]))
+
+fun unsubscribe (list, address) = OS.Process.isSuccess (OS.Process.system (String.concat
+									       ["/usr/bin/sudo -u list /usr/local/sbin/portalsub ",
+										list,
+										" rm ",
+										address]))
+
+end