Greetings everyone, We are having a problem with refreshing servlets sometimes after they have been modified and uploaded and the browser's refresh button doesn't always work. Restarting the engine (and apache afterwards) helps. What is, in your opinion, the best way to enable the developer to restart the engine without bugging the admin? Possibly a "restart" servlet? (Might have a few problems with the right permissions for this one...) Thx Matthias Hupp
