If WEB-INF is monitored, any JSPs changed in WEB-INF/pages results in a server restart, which shouldn't be necessary. Hopefully wildcard support will be added in a future release of Jetty so this configuration can be simplified.
If WEB-INF is monitored, any JSPs changed in WEB-INF/pages results in a server restart, which shouldn't be necessary. Hopefully wildcard support will be added in a future release of Jetty so this configuration can be simplified.
http://jira.codehaus.org/browse/JETTY-346