Re: Server.properties - webPort

On Nov 30, 2007, at 8:03 , Kris Leite wrote:

> Oops I also noticed that the ajp13Port, rmiPort, xmlrpcPort could also
> be put into the server.properties file.  I have not tested to make  
> sure
> that they work but it looks like they should since the webPort  
> property
> does.

I fixed the docs to include ajp13Port, rmiPort, xmlrpcPort and webPort  
as possible server.properties and added cron, which was also missing,  
to the list for app.properties.

Chris