I wonder how I can upgrade a production site from 5.0.0 to 5.0.1. May I just copy the 5.0.1 war file into /tomcat/webapps/, and restart tomcat ? Is there anything to take special care of (besides making a backup of /opencms/ ?) How can I even check which version of the app is running ? TIA -- Martin Koeck