| Summary: | On the Server / Web Modules page, Auto Reload is enabled by default. It would be nice to have the option to make it disabled by default instead. PATCH INCLUDED - I've written a patch to add this feature. | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Product: | [WebTools] WTP ServerTools | Reporter: | Grant <grant> | ||||||||
| Component: | jst.server | Assignee: | Elson Yuen <eyuen7> | ||||||||
| Status: | RESOLVED FIXED | QA Contact: | Elson Yuen <eyuen7> | ||||||||
| Severity: | enhancement | ||||||||||
| Priority: | P3 | CC: | karl | ||||||||
| Version: | unspecified | ||||||||||
| Target Milestone: | 3.4 | ||||||||||
| Hardware: | All | ||||||||||
| OS: | All | ||||||||||
| See Also: | https://git.eclipse.org/r/109107 | ||||||||||
| Whiteboard: | |||||||||||
| Attachments: |
|
||||||||||
|
Description
Grant
Created attachment 207079 [details]
A patch file for org.eclipse.jst.server.tomcat.core
This patch should be used in conjunction with the org.eclipse.jst.server.tomcat.ui patch.
Created attachment 207080 [details]
A patch file for org.eclipse.jst.server.tomcat.ui
To be used in conjunction with the org.eclipse.jst.server.tomcat.core patch, also included.
Created attachment 214203 [details]
A patch file for org.eclipse.jst.server.tomcat.core - v1.0
The patches looks good in general except the default value should always be true to make sure we don't cause change in behaviour in existing scenario. The new replacement patch is based on the original patch with the default value changed.
Thanks for submitting the patch. Changes released to HEAD I also notice the redo undo message is missing so I added the missing message to HEAD as well. New Gerrit change created: https://git.eclipse.org/r/109107 |