portal: return success/failure of changing vmail password
authorClinton Ebadi <clinton@unknownlamer.org>
Tue, 7 Oct 2014 03:17:40 +0000 (23:17 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Tue, 7 Oct 2014 03:17:40 +0000 (23:17 -0400)
commit53043cda16a4efd64705d7fc5ca188f67c92c84f
tree0fc2630b5be2c7d89a2f14759d24e2906bb24742
parent6f1dbd13f89e8d9c96accf9a37bdf0d41d8da7ce
portal: return success/failure of changing vmail password

I hear it's useful to tell the difference between failure and success.
src/main-portal.sml
src/main.sig
src/main.sml