X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ae1479386628436613a664b6601f6ca833dd6b2d..21d921a56a850857f6ea883c6dff6a411a659bbf:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index adf1bba..5758d80 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -54,7 +54,7 @@ datatype msg = | MsgRmuser of string (* Remove all ACL entries for a user, and remove all domains to which * that user and no one else has rights. *) - | MsgCreateDbUser of string + | MsgCreateDbUser of {dbtype : string, passwd : string option} (* Request creation of a user for the named DBMS type *) | MsgCreateDbTable of {dbtype : string, dbname : string} (* Request creation of a DBMS table *)