commit/galaxy-central: greg: 1. Add a new UpdateManager for use with tool shed repositories installed into a local Galaxy instance. The UpdateManager will poll all appropriate tool sheds to see if updates are available for each of the installed repositories. Polling occurs when the Galaxy server is started. In addition, a config setting tells the UpdateManager to poll after the configured number of hours have passed. If updates are available for an installed repository, a table column is up

Show replies by date

4488
Age (days ago)
4488
Last active (days ago)

galaxy-commits@lists.galaxyproject.org

0 comments
1 participants

Add to favorites Remove from favorites

tags (0)
participants (1)
  • Bitbucket