Integrated: Retry updating seed if needed, avoid unnecessary fetching

Robin Westberg rwestberg at openjdk.java.net
Wed Oct 21 14:58:32 UTC 2020


On Wed, 21 Oct 2020 12:38:57 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Retry fetching a few times if a seed is not allowed to be stale, but otherwise ignore and continue.

This pull request has now been integrated.

Changeset: f75ed0a5
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/f75ed0a5
Stats:     41 lines in 1 file changed: 24 ins; 3 del; 14 mod

Retry updating seed if needed, avoid unnecessary fetching

Reviewed-by: ehelin

-------------

PR: https://git.openjdk.java.net/skara/pull/902


More information about the skara-dev mailing list