That password file writing was right before, gosh darn it
authorAdam Chlipala <adamc@hcoop.net>
Sat, 8 Dec 2007 20:50:48 +0000 (20:50 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 8 Dec 2007 20:50:48 +0000 (20:50 +0000)
app/app.sml

index 7345bbf..96d9f47 100644 (file)
@@ -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