HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
portal: return success/failure of changing vmail password
[hcoop/domtool2.git]
/
src
/
plugins
/
mailman.sml
diff --git
a/src/plugins/mailman.sml
b/src/plugins/mailman.sml
index
a4f5a6c
..
ef0a82f
100644
(file)
--- a/
src/plugins/mailman.sml
+++ b/
src/plugins/mailman.sml
@@
-42,8
+42,6
@@
fun mailmanPlace (EApp ((EVar "mailman_place_default", _), (EString node, _)), _
SOME (node, ip)
| mailmanPlace _ = NONE
SOME (node, ip)
| mailmanPlace _ = NONE
-fun mailmanPlaceDefault node = (EApp ((EVar "mailman_place_default", dl), (EString node, dl)), dl)
-
val _ = Env.registerFunction ("mailman_place_to_web_node",
fn [e] => Option.map (fn (node, _) => (EString node, dl)) (mailmanPlace e)
| _ => NONE)
val _ = Env.registerFunction ("mailman_place_to_web_node",
fn [e] => Option.map (fn (node, _) => (EString node, dl)) (mailmanPlace e)
| _ => NONE)
@@
-56,11
+54,6
@@
val _ = Env.registerFunction ("mailman_place_to_ip",
fn [e] => Option.map (fn (_, ip) => (EString ip, dl)) (mailmanPlace e)
| _ => NONE)
fn [e] => Option.map (fn (_, ip) => (EString ip, dl)) (mailmanPlace e)
| _ => NONE)
-val () = Defaults.registerDefault
- ("MailmanPlaces",
- (TList (TBase "mailman_place", dl), dl),
- (fn () => (EList [mailmanPlaceDefault Config.Mailman.node], dl)))
-
val files = ref ([] : TextIO.outstream list)
val write = ref (fn _ : string => ())
val files = ref ([] : TextIO.outstream list)
val write = ref (fn _ : string => ())