Fix Mailman subscription by installing /usr/local/sbin/portalsub
authorAdam Chlipala <adamc@hcoop.net>
Fri, 14 Dec 2007 00:23:47 +0000 (00:23 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Fri, 14 Dec 2007 00:23:47 +0000 (00:23 +0000)
pref.mlt
pref.sml

index deea051..97b0157 100644 (file)
--- a/pref.mlt
+++ b/pref.mlt
@@ -44,8 +44,6 @@ end;
 
 val you_all = Init.lookupUser you %>
 
-<p><h3>The mailing list checkboxes on this page don't work yet.  You should visit <a href="https://members.hcoop.net/portal/pref">the corresponding page on the old portal</a> if you want to change subscriptions.</h3></p>
-
 <form action="pref" method="post">
 <input type="hidden" name="cmd" value="mod">
 <table class="blanks">
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]))