X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/86aa5de7d9f2754d50489432ffaa43cba3fa170f..167cffff3b3a976d4bf454808d3054fdb323b1a1:/src/dbms.sig?ds=sidebyside

diff --git a/src/dbms.sig b/src/dbms.sig
index deb2127..f49ec04 100644
--- a/src/dbms.sig
+++ b/src/dbms.sig
@@ -21,11 +21,14 @@
 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}
 
     val register : string * handler -> unit
     val lookup : string -> handler option