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

diff --git a/src/main.sml b/src/main.sml
index 8bec641..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 =>
@@ -576,7 +576,7 @@ fun requestListMailboxes domain =
 	     case m of
 		 MsgMailboxes users => (Msg.send (bio, MsgOk);
 					Vmail.Listing users)
-	       | MsgError s => Vmail.Error ("Creation failed: " ^ s)
+	       | MsgError s => Vmail.Error ("Listing failed: " ^ s)
 	       | _ => Vmail.Error "Unexpected server reply.")
 	before OpenSSL.close bio
     end
@@ -939,7 +939,9 @@ fun regenerate context =
 		else
 		    ()
 	    end
-	    handle IO.Io _ => ()
+	    handle IO.Io {name, function, ...} =>
+		   (print ("IO error processing user " ^ user ^ ": " ^ function ^ ": " ^ name ^ "\n");
+		    ok := false)
 		 | OS.SysErr (s, _) => (print ("System error processing user " ^ user ^ ": " ^ s ^ "\n");
 					ok := false)
 		 | ErrorMsg.Error => (ErrorMsg.reset ();
@@ -1283,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