[galaxy-user] Galaxy server configuration - what is [server:main]?

2012-11-16 Thread greg
I see this setting at the top of universe_wsgi.ini: # Configuration of the internal HTTP server. [server:main] I'm confused what that's for. Do I need to change it? Thanks, Greg ___ The Galaxy User list should be used for the discussion

Re: [galaxy-user] Galaxy server configuration - what is [server:main]?

2012-11-16 Thread Dannon Baker
That's just the section demarcation stating that everything following (until the next such bracketed line) is a property of the 'server:main' section -- there should be no need to change that, though you can certainly change any of the properties within the section as needed. -Dannon On Nov