aimmath-commit

[<bre...@us...>]

Update of /cvsroot/aimmath/AIM/doc
In directory sc8-pr-cvs1:/tmp/cvs-serv17176

Modified Files:
	installosx.html 
Log Message:
Further changes to bring it more in-line with installlin.html.

Index: installosx.html
===================================================================
RCS file: /cvsroot/aimmath/AIM/doc/installosx.html,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** installosx.html	15 Sep 2003 03:56:21 -0000	1.3
--- installosx.html	15 Sep 2003 04:58:13 -0000	1.4
***************
*** 101,110 ****
  <code>sudo mv ~/Desktop/jakarta-tomcat-4.1.27 /usr/local</code>
  </blockquote>
!  in the Terminal and enter your password when prompted. If you downloaded from ServerLogistics, follow their installation instructions.
! If you have a 4.0 series installation of Tomcat, it is a good idea
  to replace it with the current version (there were some location
  changes of some directories which may cause some problems if you don't
! do this). You can start up the Tomcat server and test some example
! applications, if you like, but generally it's problem-free.
  
  <!--
--- 101,117 ----
  <code>sudo mv ~/Desktop/jakarta-tomcat-4.1.27 /usr/local</code>
  </blockquote>
!  in the Terminal and enter your password when prompted. If you downloaded from ServerLogistics, follow their installation instructions. If you have a 4.0 series installation of Tomcat, it is a good idea
  to replace it with the current version (there were some location
  changes of some directories which may cause some problems if you don't
! do this).<p/>
! At this point you need to set the JAVA_HOME environment variable. To do this open Terminal and enter
! <blockquote>
! <code>pico .tcshrc</code>
! </blockquote>
! then enter
! <blockquote>
! <code>setenv JAVA_HOME /Library/Java/Home</code>
! </blockquote>
! and finally press CTRL-O to save the .tcshrc file and CTRL-X to quit the pico editor. You can start up the Tomcat server and test some example applications, if you like, but generally it's problem-free.
  
  <!--
***************
*** 226,243 ****
    printed on the terminal.
    <p/>
!   Under OS X, <font color='green'>AutoConf.mpl</font> will probably
!   find everything it needs.  There is currently a problem with time
!   zones, however; if automatic configuration reports a time zone that
!   already includes a shift for summer time, then you should manually
!   correct it to the corresponding zone without a shift.  For example,
!   BST = British Summer Time = GMT + 1 hour should be changed to GMT =
!   GMT + 0 hours. To provide help, you should copy the file <font
!   color='green'>ManualConfig.dist</font> to <font
    color='green'>ManualConfig.mpl</font> and then edit it following the
    instructions included in the file.  You should then run <font
!   color='green'>AutoConf.mpl</font> again.  This will run various
!   consistency checks as well as generating other configuration files.
!   You can iterate this procedure as often as you like until you get
!   an installation without error messages.
    <p/>
    By the way, by running <font color='green'>AutoConf.mpl</font>,
--- 233,290 ----
    printed on the terminal.
    <p/>
!    <a name = "reconfig">
!   Usually <font color='green'>AutoConf.mpl</font></a> will find everything
!   it needs, but if not, you will need to have a file <font
!   color='green'>ManualConfig.mpl</font> that contains the parameters
!   whose default values you wish to override and rerun  <font
!   color='green'>AutoConf.mpl</font>. To create such a file start
!   by copying <font color='green'>ManualConfig.dist</font> to <font 
    color='green'>ManualConfig.mpl</font> and then edit it following the
    instructions included in the file.  You should then run <font
!   color='green'>AutoConf.mpl</font> again. You can iterate this procedure
!   as often as is needed until you get an installation without error messages.
!   Particular settings you may want to check are the following:
!   <dl>
!  <dt><em>Do you need to set the port used by Tomcat to something other
!         that the default?</em>
!     <dd>The default port used by Tomcat is 8080. Prior to AiM 3.0 the
!         default port was 80. The issues to consider are:
!         <ul>
!           <li>When port 80 is used, it need not appear in the URL, but then
!               Tomcat needs to be run as a root process.</li>
!           <li>If port 8080 is used (or any other port &gt; 1024) then the
!               string <tt>:8080</tt> (or whatever port was used) needs to 
!               appear after the domain part of the URL, but Tomcat need not
!               be run as a root process.</li>
!         </ul>
!         If you are upgrading from a previous installation
!         that used port 80, then it will probably be best to stick with that,
!         but then you will need to set
!         <blockquote>
!         Config['TomcatPort'] := 80:
!         </blockquote>
!         in <font color='green'>ManualConfig.mpl</font>. If you neglected
!         to do this the first time around you may have to manually edit
!         the files <font color='green'>admin.html</font> and 
!         <font color='green'>index.html</font> in
!         the <font color='green'>WEB-INF</font> directory and 
!         <font color='green'>DefaultZone.mpl</font>
!         in the <font color='green'>WEB-INF/root</font> directory, to remove
!         the string <tt>:8080</tt>. Incidentally, the port used by Tomcat is
!         set in the <tt>&lt;Connector/&gt;</tt> tag 
!         (that is in turn embedded in <tt>&lt;Server ...&gt;&lt;Service ...&gt;
!         ...  &lt;/Service&gt;&lt;/Server&gt;</tt>) in the file
!         <font color='green'>/usr/local/tomcat/conf/server.xml</font>.</dd>
!     <dt><em>Is the time set correctly?</em>
!     <dd>There is currently a problem with time zones; if automatic 
!         configuration reports a time zone that includes a shift for 
!         summer time, then you may need to manually correct it to the
!         corresponding zone without a shift. For example,
!         BST = British Summer Time = GMT + 1 hour should be changed to 
!         GMT = GMT + 0 hours. If you are in the southern hemisphere or 
!         your locale doesn't have daylight saving, you may want
!         to hard-set the time in <font color='green'>ManualConfig.mpl</font>
!         (see the end of the file).</dd>
!   </dl>
    <p/>
    By the way, by running <font color='green'>AutoConf.mpl</font>,
***************
*** 268,272 ****
   </li>
   <li>Point your Web browser at the URL of the AiM server. This will be something
!  like <font color='green'><a href="http://localhost/AiM/admin.html">http://localhost/AiM/admin.html</a></font>, 
   where you will need to replace <font color='green'>AiM</font> by the name of
   the subdirectory of <font color='green'>/usr/local/tomcat/webapps/</font>
--- 315,319 ----
   </li>
   <li>Point your Web browser at the URL of the AiM server. This will be something
!  like <font color='green'><a href="http://localhost:8080/AiM/admin.html">http://localhost:8080/AiM/admin.html</a></font>, 
   where you will need to replace <font color='green'>AiM</font> by the name of
   the subdirectory of <font color='green'>/usr/local/tomcat/webapps/</font>
***************
*** 355,359 ****
  </ul>
  <hr/>
! Last modified by Jon Breitenbucher on 14/09/03
  
  </body>
--- 402,406 ----
  </ul>
  <hr/>
! Last modified by Jon Breitenbucher on 15/09/03
  
  </body>