X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ae1479386628436613a664b6601f6ca833dd6b2d..21d921a56a850857f6ea883c6dff6a411a659bbf:/src/dbms.sml diff --git a/src/dbms.sml b/src/dbms.sml index caf504a..a1f44d7 100644 --- a/src/dbms.sml +++ b/src/dbms.sml @@ -24,7 +24,8 @@ open DataStructures val validDbname = CharVector.all Char.isAlpha -type handler = {adduser : string -> string option, +type handler = {getpass : (unit -> Client.passwd_result) option, + adduser : {user : string, passwd : string option} -> string option, createdb : {user : string, dbname : string} -> string option} val dbmses : handler StringMap.map ref = ref StringMap.empty