cvsimport

[hcoop/zz_old/portal.git] / pref.sml

diff --git a/pref.sml b/pref.sml
index 5c20e6f..04aa736 100644 (file)
--- a/pref.sml
+++ b/pref.sml
@@ -18,19 +18,19 @@ fun unsetDirectory usr =
     ignore (C.dml (getDb ()) ($`DELETE FROM DirectoryPref WHERE usr = ^(C.intToSql usr)`))
 
 fun subscribed (list, address) = OS.Process.isSuccess (OS.Process.system (String.concat
-                                                                        ["/usr/bin/sudo -u list /usr/local/bin/portalsub ",
+                                                                        ["/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/bin/portalsub ",
+                                                                        ["/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/bin/portalsub ",
+                                                                              ["/usr/bin/sudo -u list /usr/local/sbin/portalsub ",
                                                                                list,
                                                                                " rm ",
                                                                                address]))