X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6f1dbd13f89e8d9c96accf9a37bdf0d41d8da7ce..53043cda16a4efd64705d7fc5ca188f67c92c84f:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index 475d1aa..fcbcafe 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -672,16 +672,17 @@ fun requestPortalPasswdMailbox p =
     let
 	val (_, bio) = requestBio (fn () => ())
     in
-	Msg.send (bio, MsgPortalPasswdMailbox p);
-	case Msg.recv bio of
-	    NONE => print "Server closed connection unexpectedly.\n"
-	  | SOME m =>
-	    case m of
-		MsgOk => print ("The password for " ^ #user p ^ "@" ^ #domain p ^ " has been changed.\n")
-	      | MsgError s => print ("Set failed: " ^ s ^ "\n")
-	      | _ => print "Unexpected server reply.\n";
-	OpenSSL.close bio
-    end
+	(Msg.send (bio, MsgPortalPasswdMailbox p);
+	 case Msg.recv bio of
+	     NONE => (print "Server closed connection unexpectedly.\n"; OS.Process.failure)
+	   | SOME m =>
+	     case m of
+		 MsgOk => (print ("The password for " ^ #user p ^ "@" ^ #domain p ^ " has been changed.\n");
+			   OS.Process.success)
+	       | MsgError s => (print ("Set failed: " ^ s ^ "\n"); OS.Process.failure)
+	       | _ => (print "Unexpected server reply.\n"; OS.Process.failure))
+	before OpenSSL.close bio
+    end 
 
 fun requestRmMailbox p =
     let