[galaxy-dev] Running galaxy on multiple, physical servers