HCoop
/
bpt
/
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:
2076f2d
)
Use pwgen instead of apg
author
Adam Chlipala
<adamc@hcoop.net>
Sat, 24 Nov 2007 16:09:36 +0000
(16:09 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sat, 24 Nov 2007 16:09:36 +0000
(16:09 +0000)
app/app.sml
patch
|
blob
|
blame
|
history
diff --git
a/app/app.sml
b/app/app.sml
index
fde065e
..
96d9f47
100644
(file)
--- a/
app/app.sml
+++ b/
app/app.sml
@@
-98,14
+98,14
@@
type application = { name : string, rname : string, gname : string option, email
fun randomPassword () =
let
fun randomPassword () =
let
- val proc = Unix.execute ("/usr/bin/
apg", ["/usr/bin/apg", "-n", "1", "-m", "10
"])
+ val proc = Unix.execute ("/usr/bin/
pwgen", ["-cCnB", "8", "1
"])
in
case TextIO.inputLine (Unix.textInstreamOf proc) of
in
case TextIO.inputLine (Unix.textInstreamOf proc) of
- NONE => raise Fail "Couldn't execute
apg
"
+ NONE => raise Fail "Couldn't execute
pwgen
"
| SOME line =>
case String.tokens Char.isSpace line of
[s] => s
| SOME line =>
case String.tokens Char.isSpace line of
[s] => s
- | _ => raise Fail "Couldn't parse output of
apg
"
+ | _ => raise Fail "Couldn't parse output of
pwgen
"
end
val allLower = CharVector.map Char.toLower
end
val allLower = CharVector.map Char.toLower