[Building Sakai] tomcat restart

[Sanghyun Jeon]

Hello All,

We have had some changes on sakai.properties and did (scheduled) restart
tomcat (using cron). However, the new property setting is not affected
properly.
We've checked our tomcat log and tomcat indeed restarted properly (there
are minor errors we always saw). Now we need another restart.  Restart
tomcat is not a big deal if it is on our dev, but for production, we  have
to follow our protocol: notify users one week in advance etc....really
annoying

When we have new war file, we do auto deploy, so that we can avoid
restarting tomcat.

Can anybody  know how we can avoid restart tomcat when we change our
properties file?

Sanghyun
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://collab.sakaiproject.org/pipermail/sakai-dev/attachments/20130131/59a23498/attachment.html