[galaxy-dev] Restarting toolshed when "run_tool_Shed.sh --daemon stop" doesn't work