[galaxy-commits] commit/galaxy-central: greg: Fix for setting Galaxy's time interval for checking for updates available for install tool shed repositories.