#!/bin/shGALAXY_PID=${GALAXY_PID:galaxy.pid}PID_FILE=$GALAXY_PIDLOG_FILE=$GALAXY_LOGexport GALAXY_CONFIG_OVERRIDE_TOOL_CONFIG_FILE= "test/functional/tools/samples_tool_conf.xml"export GALAXY_CONFIG_OVERRIDE_ENABLE_BETA_TOOL_FORMATS= "true" else echo "No PID found in '$server.pid' yet"# If there is a file that defines a shell environment specific to this# instance of Galaxy, source the file