1 new commit in galaxy-central: https://bitbucket.org/galaxy/galaxy-central/commits/1802e93a4f18/ Changeset: 1802e93a4f18 User: natefoo Date: 2014-06-26 02:07:58 Summary: Fix Ctrl+C (make the UpdateRepositoryManager's updater thread a daemon). Affected #: 1 file diff -r 6b672fb120994f308ce7914993418e67770aae14 -r 1802e93a4f1823f307de534d9b6ce73d911f6538 lib/tool_shed/galaxy_install/update_repository_manager.py --- a/lib/tool_shed/galaxy_install/update_repository_manager.py +++ b/lib/tool_shed/galaxy_install/update_repository_manager.py @@ -19,6 +19,7 @@ self.running = True self.sleeper = Sleeper() self.restarter = threading.Thread( target=self.__restarter ) + self.restarter.daemon = True self.restarter.start() self.seconds_to_sleep = int( app.config.hours_between_check * 3600 ) Repository URL: https://bitbucket.org/galaxy/galaxy-central/ -- This is a commit notification from bitbucket.org. You are receiving this because you have the service enabled, addressing the recipient of this email.