From 2581e0222b4def4ba8cc38b73edf0a3dfe425c1e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 14 Dec 2007 00:23:47 +0000
Subject: [PATCH] Fix Mailman subscription by installing
 /usr/local/sbin/portalsub

---
 pref.mlt | 2 --
 pref.sml | 6 +++---
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/pref.mlt b/pref.mlt
index deea051..97b0157 100644
--- 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">
diff --git a/pref.sml b/pref.sml
index 5c20e6f..04aa736 100644
--- 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]))
-- 
2.20.1