X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/504618b9ccf4bdbd8b3e27f799770b16c6358a71..99cc41443c07f97535eaeecc628d99075ca2cebf:/src/dbms.sig diff --git a/src/dbms.sig b/src/dbms.sig index b600d9d..ab6772e 100644 --- a/src/dbms.sig +++ b/src/dbms.sig @@ -26,7 +26,8 @@ signature DBMS = sig adduser : {user : string, passwd : string option} -> string option, passwd : {user : string, passwd : string} -> string option, createdb : {user : string, dbname : string} -> string option, - dropdb : {user : string, dbname : string} -> 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