HCoop
/
hcoop
/
zz_old
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
members2 -> members
[hcoop/zz_old/portal.git]
/
mail.sml
diff --git
a/mail.sml
b/mail.sml
index
4fa6b22
..
4695592
100644
(file)
--- a/
mail.sml
+++ b/
mail.sml
@@
-1,13
+1,13
@@
structure Mail :> MAIL =
struct
structure Mail :> MAIL =
struct
-fun writeToLog s =
- let
+fun writeToLog s =
()
+
(*
let
val outf = TextIO.openAppend (Init.scratchDir ^ "/log/mail.log")
in
TextIO.output (outf, s);
TextIO.closeOut outf
val outf = TextIO.openAppend (Init.scratchDir ^ "/log/mail.log")
in
TextIO.output (outf, s);
TextIO.closeOut outf
- end
+ end
*)
type session = (TextIO.instream, TextIO.outstream) Unix.proc
type session = (TextIO.instream, TextIO.outstream) Unix.proc