Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-20 21:45:22 -0700 (Sun, 20 Jun 2004)
Revision: 5965
Log message:

      1) It is now possible to specify the host name to use (in SSL certificates
      and URLs) using either the -browser_hostname option, or MP_BROWSER_HOSTNAME
      environment variable. By default, the Unix.gethostname is used.
      
      2) The SSL certificates are now kept in ~/.metaprl/ssl/$MP_BROWSER_HOSTNAME
      directory and will be created automatically by MetaPRL _on startup_ (not by
      omake). This ensures that:
       - The SSL certificates will have the hostname matching the one used in URLs
       - The SSL certificates will _not_ be cleaned by "omake [real]clean", which
         means that the browser will not complain about a suddenly changed cert.
       - The SSL certs are not bound to a specific source tree (again, the browser
         will not complain when you switch from one tree to another).
      
      3) If /usr/bin/htmlview or /usr/bin/mozilla exists, it will be used as a
      default value for the browser command (-browser_command/MP_BROWSER_COMMAND
      still take precedence, of course).
      
      4) Updated the message printed by MetaPRL on start up to make it more clear
      that:
       - The browser command was called (of course, it only says that when the
         browser command is specified) and the user only needs to intervene
         manually if the browser fails to start up automatically.
       - The file URL will not require a log in, but the https one will (Nathan
         requested this).
      

Changes  Path
+2 -2 metaprl/mllib/Files
+9 -15 metaprl/mllib/http_simple.ml
+128 -24 metaprl/mllib/setup.ml
+18 -0 metaprl/mllib/setup.mli
+1 -0 metaprl/proxyedit/OMakefile
+1 -1 metaprl/support/shell/browser_copy.mli
+3 -2 metaprl/support/shell/browser_copy.mll
+1 -15 metaprl/support/shell/inputs/OMakefile
+1 -1 metaprl/support/shell/inputs/metaprl-ssl.config
+12 -9 metaprl/support/shell/shell_browser.ml
+2 -1 metaprl/support/shell/shell_state.ml