mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-25 10:24:38 +08:00
- Add monitor tag on toolbox root elements to force Galaxy to watch the toolbox for changes. - Refactoring and test improvements for existing tool monitoring code. - Implement toolbox shutdown process to ensure different watchers don't compete with each other. - Set the default tool conf to be monitored.