mirror of
https://github.com/enso-org/enso.git
synced 2024-11-25 10:43:02 +03:00
468b643aad
* Add retries to HTTP Get requests A quick solution to random network failures for GET HTTP requests. Should reduce the number of IOExceptions that users see while fetching data. * Use homemade retry logic for http requests * Add retries to whole Data.read Previously, we added retries only to fetch HTTP_Request. That was insufficient as intermittent errors might happen while reading body's stream. Enhanced our simple server's crash endpoint to allow for different kind of failures as well as simulate random failures. * Remove retries from Java Increased the scope of retries in the previous commit. * nit * Address PR comments * PR comments * Remove builtin |
||
---|---|---|
.. | ||
bin | ||
engine/THIRD-PARTY | ||
launcher | ||
lib/Standard | ||
project-manager/THIRD-PARTY | ||
enso.bundle.template | ||
launcher-manifest.yaml | ||
manifest.template.yaml |