HCoop
/
hcoop
/
portal.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
878a4e4
)
Remove groaty logging code
author
Adam Chlipala
<adamc@hcoop.net>
Sun, 14 Oct 2007 02:37:06 +0000
(
02:37
+0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sun, 14 Oct 2007 02:37:06 +0000
(
02:37
+0000)
mail.sml
patch
|
blob
|
blame
|
history
diff --git
a/mail.sml
b/mail.sml
index
fc370b8
..
4695592
100644
(file)
--- a/
mail.sml
+++ b/
mail.sml
@@
-1,7
+1,7
@@
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