X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ae1479386628436613a664b6601f6ca833dd6b2d..21d921a56a850857f6ea883c6dff6a411a659bbf:/src/main.sml diff --git a/src/main.sml b/src/main.sml index 5f2038d..ec98e4e 100644 --- a/src/main.sml +++ b/src/main.sml @@ -715,7 +715,7 @@ fun service () = handle OpenSSL.OpenSSL _ => (); loop ()) - | MsgCreateDbUser dbtype => + | MsgCreateDbUser {dbtype, passwd} => (case Dbms.lookup dbtype of NONE => ((Msg.send (bio, MsgError ("Unknown database type " ^ dbtype)); print ("Database user creation request with unknown datatype type " ^ dbtype); @@ -725,7 +725,7 @@ fun service () = handle OpenSSL.OpenSSL _ => (); loop ()) | SOME handler => - case #adduser handler user of + case #adduser handler {user = user, passwd = passwd} of NONE => ((Msg.send (bio, MsgOk); print ("Added " ^ dbtype ^ " user " ^ user ^ ".\n")) handle OpenSSL.OpenSSL s =>