Adding database dropping to dbtool

[hcoop/domtool2.git] / src / dbms.sig

diff --git a/src/dbms.sig b/src/dbms.sig
index 10bc467..b600d9d 100644 (file)
--- a/src/dbms.sig
+++ b/src/dbms.sig
@@ -20,7 +20,13 @@
 
 signature DBMS = sig
 
-    type handler = {adduser : string -> string option}
+    val validDbname : string -> 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,
+                   dropdb : {user : string, dbname : string} -> string option}
 
     val register : string * handler -> unit
     val lookup : string -> handler option