X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d541c6185fb0f426dce0b16e85327b53635169e0..167cffff3b3a976d4bf454808d3054fdb323b1a1:/src/dbms.sig diff --git a/src/dbms.sig b/src/dbms.sig index 10bc467..f49ec04 100644 --- a/src/dbms.sig +++ b/src/dbms.sig @@ -20,7 +20,15 @@ signature DBMS = sig - type handler = {adduser : string -> string option} + val validDbname : string -> bool + val validEncoding : string option -> bool + + type handler = {getpass : (unit -> Client.passwd_result) option, + adduser : {user : string, passwd : string option} -> string option, + passwd : {user : string, passwd : string} -> string option, + createdb : {user : string, dbname : string, encoding : string option} -> string option, + dropdb : {user : string, dbname : string} -> string option, + grant : {user : string, dbname : string} -> string option} val register : string * handler -> unit val lookup : string -> handler option