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

diff --git a/src/main-portal.sml b/src/main-portal.sml
index 068d16c..bed2064 100644
--- a/src/main-portal.sml
+++ b/src/main-portal.sml
@@ -49,10 +49,10 @@ val _ =
 	    in
 		case (oldpasswd, newpasswd) of
 		    (SOME oldpasswd, SOME newpasswd) => 
-		    Main.requestPortalPasswdMailbox {domain = domain,
-						     user = user,
-						     oldpasswd = String.substring (oldpasswd, 0, size oldpasswd - 1),
-						     newpasswd = String.substring (newpasswd, 0, size newpasswd - 2)}
+		    OS.Process.exit (Main.requestPortalPasswdMailbox {domain = domain,
+								      user = user,
+								      oldpasswd = String.substring (oldpasswd, 0, size oldpasswd - 1),
+								      newpasswd = String.substring (newpasswd, 0, size newpasswd - 1)})
 		    | _ => die "Invalid input"
 	    end
       | _  => die "Invalid command-line arguments"