From: Adam Chlipala Date: Sat, 8 Dec 2007 20:50:48 +0000 (+0000) Subject: That password file writing was right before, gosh darn it X-Git-Url: https://git.hcoop.net/bpt/portal.git/commitdiff_plain/efbc26063c71e0822c6982a0c34048600552a4df That password file writing was right before, gosh darn it --- diff --git a/app/app.sml b/app/app.sml index 7345bbf..96d9f47 100644 --- a/app/app.sml +++ b/app/app.sml @@ -144,14 +144,7 @@ fun apply {name, rname, gname, email, forward, uses, other, paypal, checkout} = mwrite passwd; mwrite ("\n")), id) then - let - val outf = TextIO.openOut (OS.Path.joinDirFile {dir = "/var/lib/portal", - file = name}) - in - TextIO.output (outf, unix_passwd); - TextIO.closeOut outf; - SOME unix_passwd - end + SOME unix_passwd else NONE end