Re: [Aimmath-developers] installlin.html

[Manolis M. <ma...@ma...>]

> During the installation Tomcat gave me the option to set the port.

the windows version does that

> > Is there an advantage to using port 8080 instead of port 80?
>
> Probably not if 80 is still free. However I have heard that on unix one
> needs
> superuser privileges to install a server on port 80 but not for installing
> one
> on port 8080. But as I said, I know nothing about unix.

no that's not a problem... after all in linux there is always the solution
to use the tomcat4 user.

> >I was going to add some comments about this, as if one
> > already has an installation using port 80, one has to remember to set
that
> > in ManualConfig.mpl ... otherwise admin.html, index.html and
> > DefaultZone.mpl (in root/) are set with :8080 in their paths, and if one
> > adds port 80 to ManualConfig.mpl afterwards and reruns AutocConfig.mpl
> > these files are not rewritten (and you have to manually change them).
>
> Yes, you are right, something like that should be added to the
instructions.

they are not rewritten because you already had a DeafultZone... otherwise
for new users its fine.
As I said to my other email it will be very difficult to instruct them how
to change settings .. its better if they keep their old ones.

Another comment on the installation instructions:
   AIM it doesn't start any more from startaim.sh but from the tomcat
directory/bin/startup.sh

to ease testing and not stop tomcat completely one can use the following:

http://localhost:8080/manager/stop?path=/AIM
http://localhost:8080/manager/start?path=/AIM

Manolis


ps. I 'll be out of reach for a few hours... You may know that the festival
is finishing and the fireworks in Edinburgh are a no-miss. More later