[galaxy-commits] commit/galaxy-central: greg: Fix for checking the Galaxy environment for missing migrated tools at server startup.