Allowing a devloper (non-administrator) to restart tomcat

[Matthias Hupp <mh...@gmx.de>]

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