Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-22 04:11:52 -0700 (Tue, 22 Jun 2004)
Revision: 5996
Log message:

      Before creating the client.pem, make sure MP_BROWSER_HOSTNAME is set
      (I fail to understand how it is possible for it not to be set at this point. :-( )
      

Changes  Path
+4 -2 metaprl/mllib/setup.ml