- 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)})