X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/25aba3aecb9752860df4aedf43b217d73fe8c072..7adeee333409df08a82fafc8b1629e56d47c09c1:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index 4539b65..660c892 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -524,7 +524,7 @@ fun requestDbTable p =
     let
 	val (user, bio) = requestBio (fn () => ())
     in
-	Msg.send (bio, MsgCreateDbTable p);
+	Msg.send (bio, MsgCreateDb p);
 	case Msg.recv bio of
 	    NONE => print "Server closed connection unexpectedly.\n"
 	  | SOME m =>
@@ -1285,7 +1285,7 @@ fun service () =
 						   SOME ("Error adding user: " ^ msg)))
 				      (fn () => ())
 
-			       | MsgCreateDbTable {dbtype, dbname} =>
+			       | MsgCreateDb {dbtype, dbname} =>
 				 doIt (fn () =>
 					  if Dbms.validDbname dbname then
 					      case Dbms.lookup dbtype of