X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/99cc41443c07f97535eaeecc628d99075ca2cebf..fe789bea628b15229156c8a4272c2b6063c9b1a0:/src/dbms.sig diff --git a/src/dbms.sig b/src/dbms.sig index ab6772e..f49ec04 100644 --- a/src/dbms.sig +++ b/src/dbms.sig @@ -21,11 +21,12 @@ signature DBMS = sig 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} -> 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}