Don't call the tool shed when loading the Galaxy tool panel at server startup.