RE: [Aimmath-developers] Change to Servlet.mpl

[Gustav W D. <gu...@ma...>]

Jon wrote:
> I missed an or statement in Servlet.mpl where the startaim.sh and
> stopaim.sh scripts are written.

I never understood the need for these scripts anyway. I always just start
and stop Tomcat the usual way. The scripts appear only to be telling Tomcat
where to find Java (JAVA_HOME) and where to find itself (CATALINA_HOME).
Apparently in earlier versions Tomcat wasn't intelligent enough to know this
info by itself. Even if that was the case, why would you want to set the
environment variables a second time to the same values when shutting Tomcat
down? The Windows installation instructions already don't refer to the
scripts startaim.bat and stopaim.bat anymore. I propose we drop them from
the linux and OS X instructions as well unless someone actually needs them.

> If there are no objections, I will commit the change tomorrow.

Yes, please do.

Gustav