Be more generic in determining a server time-out

galaxyproject / ephemeris

Library for managing Galaxy plugins - tools, index data, and workflows.

https://ephemeris.readthedocs.org/

Other

27 stars 38 forks source link

Be more generic in determining a server time-out #18

Closed afgane closed 7 years ago

afgane commented 7 years ago

When Galaxy is setup behind a proxy, the reported message is different than the Galaxy-default so be much more permissive in determining when a tool installation is taking a while.