HCoop
/
bpt
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Reports for figuring out which accounts to freeze or boot; most of new SSL request...
[bpt/portal.git]
/
mail.sml
diff --git
a/mail.sml
b/mail.sml
index
fc370b8
..
d0e2d27
100644
(file)
--- a/
mail.sml
+++ b/
mail.sml
@@
-1,7
+1,7
@@
structure Mail :> MAIL =
struct
structure Mail :> MAIL =
struct
-fun writeToLog s =
ignore (OS.Process.system "klist >/tmp/haha"
)
+fun writeToLog s =
(
)
(*let
val outf = TextIO.openAppend (Init.scratchDir ^ "/log/mail.log")
in
(*let
val outf = TextIO.openAppend (Init.scratchDir ^ "/log/mail.log")
in
@@
-19,4
+19,12
@@
fun mwrite (ses, s) = (TextIO.output (Unix.textOutstreamOf ses, s);
fun mclose ses = Unix.reap ses
fun mclose ses = Unix.reap ses
+(*type session = unit
+
+fun mopen () = ()
+
+fun mwrite ((), s) = print s
+
+fun mclose () = OS.Process.success*)
+
end
end